Full Text Available
Access Full Text at Repository
Search Results - Information Science
-
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
Online Article RSS Article -
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
-
Proof equivalence in MLL is PSPACE-complete
Published in Logical Methods in Computer Science (2016)Subjects: “…Computer Science & Information Science…”
Get full text
-
Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion
Published in Logical Methods in Computer Science (2016)Subjects: “…Computer Science & Information Science…”
Get full text
-
Typed realizability for first-order classical analysis
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Type-based Self-stabilisation for Computational Fields
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Computational Problems in Metric Fixed Point Theory and their Weihrauch Degrees
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Program Logic for Verifying Secure Routing Protocols
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text