Search Results - Information Technology Journal :: FRELIP Discovery

Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency

Published in Logical Methods in Computer Science (2014)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Probability Logic for Harsanyi Type Spaces

Published in Logical Methods in Computer Science (2014)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Dynamic Tags for Security Protocols

Published in Logical Methods in Computer Science (2014)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Unsolvability Cores in Classification Problems

Published in Logical Methods in Computer Science (2014)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Global Numerical Constraints on Trees

Published in Logical Methods in Computer Science (2014)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Locating Ax, where A is a subspace of B(H)

Published in Logical Methods in Computer Science (2014)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Computability of 1-manifolds

Published in Logical Methods in Computer Science (2014)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples

Published in Logical Methods in Computer Science (2014)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Partial Order Infinitary Term Rewriting

Published in Logical Methods in Computer Science (2014)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Interaction and Depth against Nondeterminism in Proof Search

Published in Logical Methods in Computer Science (2014)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Discriminating Lambda-Terms Using Clocked Boehm Trees

Published in Logical Methods in Computer Science (2014)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Querying the Guarded Fragment

Published in Logical Methods in Computer Science (2014)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
A Linear Category of Polynomial Functors (extensional part)

Published in Logical Methods in Computer Science (2014)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Towards 3-Dimensional Rewriting Theory

Published in Logical Methods in Computer Science (2014)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Modular Complexity Analysis for Term Rewriting

Published in Logical Methods in Computer Science (2014)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Linear usage of state

Published in Logical Methods in Computer Science (2014)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Model Checking Lower Bounds for Simple Graphs

Published in Logical Methods in Computer Science (2014)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Universal First-Order Logic is Superfluous for NL, P, NP and coNP

Published in Logical Methods in Computer Science (2014)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes

Published in Logical Methods in Computer Science (2014)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in:
A Proof of Kamp's theorem

Published in Logical Methods in Computer Science (2014)

Get full text

Full Text Available
Access Full Text at Repository
Online Article RSS Article

Standalone Record Save to List
Saved in: