Found: 22
Select item for more details and to access through your institution.
EXPRESSIVE PATH QUERIES ON GRAPHS WITH DATA.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 4, p. 1, doi. 10.2168/LMCS-11(4:1)2015
- By:
- Publication type:
- Article
LOGIC AND BRANCHING AUTOMATA.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 4, p. 1, doi. 10.2168/LMCS-11(4:2)2015
- By:
- Publication type:
- Article
THE COMPUTABILITY PATH ORDERING.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 4, p. 1, doi. 10.2168/LMCS-11(4:3)2015
- By:
- Publication type:
- Article
TYPED REALIZABILITY FOR FIRST-ORDER CLASSICAL ANALYSIS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 4, p. 1, doi. 10.2168/LMCS-11(4:22)2015
- By:
- Publication type:
- Article
QUANTITATIVE INFORMATION FLOW UNDER GENERIC LEAKAGE FUNCTIONS AND ADAPTIVE ADVERSARIES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 4, p. 1, doi. 10.2168/LMCS-11(4:5)2015
- By:
- Publication type:
- Article
FORMAL DESIGN OF ASYNCHRONOUS FAULT DETECTION AND IDENTIFICATION COMPONENTS USING TEMPORAL EPISTEMIC LOGIC.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 4, p. 1, doi. 10.2168/LMCS-11(4:4)2015
- By:
- Publication type:
- Article
A FINER REDUCTION OF CONSTRAINT PROBLEMS TO DIGRAPHS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 4, p. 1, doi. 10.2168/LMCS-11(4:18)2015
- By:
- Publication type:
- Article
A PROGRAM LOGIC FOR VERIFYING SECURE ROUTING PROTOCOLS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 4, p. 1, doi. 10.2168/LMCS-11(4:19)2015
- By:
- Publication type:
- Article
TYPE-BASED SELF-STABILISATION FOR COMPUTATIONAL FIELDS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 4, p. 1, doi. 10.2168/LMCS-11(4:21)2015
- By:
- Publication type:
- Article
FROM NOMINAL TO HIGHER-ORDER REWRITING AND BACK AGAIN.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 4, p. 1, doi. 10.2168/LMCS-11(4:9)2015
- By:
- Publication type:
- Article
STRUCTURALLY CYCLIC PETRI NETS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 4, p. 1, doi. 10.2168/LMCS-11(4:15)2015
- By:
- Publication type:
- Article
DATALOG REWRITINGS OF REGULAR PATH QUERIES USING VIEWS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 4, p. 1, doi. 10.2168/LMCS-11(4:14)2015
- By:
- Publication type:
- Article
FASTER EXISTENTIAL FO MODEL CHECKING ON POSETS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 4, p. 1, doi. 10.2168/LMCS-11(4:8)2015
- By:
- Publication type:
- Article
FO MODEL CHECKING OF INTERVAL GRAPHS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 4, p. 1, doi. 10.2168/LMCS-11(4:11)2015
- By:
- Publication type:
- Article
MODULAR SESSION TYPES FOR OBJECTS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 4, p. 1, doi. 10.2168/LMCS-11(4:12)2015
- By:
- Publication type:
- Article
PRESERVATION AND DECOMPOSITION THEOREMS FOR BOUNDED DEGREE STRUCTURES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 4, p. 1, doi. 10.2168/LMCS-11(4:17)2015
- By:
- Publication type:
- Article
BISIMULATION OF LABELLED STATE-TO-FUNCTION TRANSITION SYSTEMS COALGEBRAICALLY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 4, p. 1, doi. 10.2168/LMCS-11(4:16)2015
- By:
- Publication type:
- Article
FINITE CHOICE, CONVEX CHOICE AND FINDING ROOTS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 4, p. 1, doi. 10.2168/LMCS-11(4:6)2015
- By:
- Publication type:
- Article
PROBLEMS IN NUMBER THEORY FROM BUSY BEAVER COMPETITION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 4, p. 1, doi. 10.2168/LMCS-11(4:10)2015
- By:
- Publication type:
- Article
A DECIDABLE WEAKENING OF COMPASS LOGIC BASED ON CONE-SHAPED CARDINAL DIRECTIONS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 4, p. 1, doi. 10.2168/LMCS-11(4:7)2015
- By:
- Publication type:
- Article
COMPUTATIONAL PROBLEMS IN METRIC FIXED POINT THEORY AND THEIR WEIHRAUCH DEGREES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 4, p. 1, doi. 10.2168/LMCS-11(4:20)2015
- By:
- Publication type:
- Article
TYPE RECONSTRUCTION FOR THE LINEAR π-CALCULUS WITH COMPOSITE REGULAR TYPES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 4, p. 1, doi. 10.2168/LMCS-11(4:13)2015
- Publication type:
- Article