Full Text Available
Access Full Text at Repository
Search Results - Computer Engineering
-
Reasoning about Data Repetitions with Counter Systems
Published in Logical Methods in Computer Science (2016)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
No solvable lambda-value term left behind
Published in Logical Methods in Computer Science (2016)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Largest Respectful Function
Published in Logical Methods in Computer Science (2016)Subjects: “…Computer Science & Information Science…”
Get full text
-
Using higher-order contracts to model session types
Published in Logical Methods in Computer Science (2016)Subjects: “…Computer Science & Information Science…”
Get full text
-
Weighted Pushdown Systems with Indexed Weight Domains
Published in Logical Methods in Computer Science (2016)Subjects: “…Computer Science & Information Science…”
Get full text
-
Two-variable Logic with Counting and a Linear Order
Published in Logical Methods in Computer Science (2016)Subjects: “…Computer Science & Information Science…”
Get full text
-
Formalized linear algebra over Elementary Divisor Rings in Coq
Published in Logical Methods in Computer Science (2016)Subjects: “…Computer Science & Information Science…”
Get full text
-
Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda
Published in Logical Methods in Computer Science (2016)Subjects: “…Computer Science & Information Science…”
Get full text
-
Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae
Published in Logical Methods in Computer Science (2016)Subjects: “…Computer Science & Information Science…”
Get full text
-
On the characterization of models of H*: The semantical aspect
Published in Logical Methods in Computer Science (2016)Subjects: “…Computer Science & Information Science…”
Get full text
-
FO2(
Published in Logical Methods in Computer Science (2016)Subjects: “…Computer Science & Information Science…”
Get full text
-
Non-Obfuscated Unprovable Programs & Many Resultant Subtleties
Published in Logical Methods in Computer Science (2016)Subjects: “…Computer Science & Information Science…”
Get full text
-
Generic algorithms for halting problem and optimal machines revisited
Published in Logical Methods in Computer Science (2016)Subjects: “…Computer Science & Information Science…”
Get full text
-
Order-Invariant Types and Their Applications
Published in Logical Methods in Computer Science (2016)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Sorted Semantic Framework for Applied Process Calculi
Published in Logical Methods in Computer Science (2016)Subjects: “…Computer Science & Information Science…”
Get full text
-
History-Register Automata
Published in Logical Methods in Computer Science (2016)Subjects: “…Computer Science & Information Science…”
Get full text
-
Simulation Problems Over One-Counter Nets
Published in Logical Methods in Computer Science (2016)Subjects: “…Computer Science & Information Science…”
Get full text
-
Separating Regular Languages with First-Order Logic
Published in Logical Methods in Computer Science (2016)Subjects: “…Computer Science & Information Science…”
Get full text
-
(Leftmost-Outermost) Beta Reduction is Invariant, Indeed
Published in Logical Methods in Computer Science (2016)Subjects: “…Computer Science & Information Science…”
Get full text
-
Weak topologies for Linear Logic
Published in Logical Methods in Computer Science (2016)Subjects: “…Computer Science & Information Science…”
Get full text