Search Results - Information Technology Journal :: FRELIP Discovery

Linear Abadi and Plotkin Logic

Published in Logical Methods in Computer Science (2006)

Get full text

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

Standalone Record Save to List
Saved in:
Positional Determinacy of Games with Infinitely Many Priorities

Published in Logical Methods in Computer Science (2006)

Get full text

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

Standalone Record Save to List
Saved in:
Combining decision procedures for the reals

Published in Logical Methods in Computer Science (2006)

Get full text

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

Standalone Record Save to List
Saved in:
Solution of a Problem of Barendregt on Sensible lambda-Theories

Published in Logical Methods in Computer Science (2006)

Get full text

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

Standalone Record Save to List
Saved in:
From Proof Nets to the Free *-Autonomous Category

Published in Logical Methods in Computer Science (2006)

Get full text

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

Standalone Record Save to List
Saved in:
Generalized Majority-Minority Operations are Tractable

Published in Logical Methods in Computer Science (2006)

Get full text

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

Standalone Record Save to List
Saved in:
Tarski's influence on computer science

Published in Logical Methods in Computer Science (2006)

Get full text

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

Standalone Record Save to List
Saved in:
Efficient Open World Reasoning for Planning

Published in Logical Methods in Computer Science (2006)

Get full text

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

Standalone Record Save to List
Saved in:
Resource Usage Analysis for the Pi-Calculus

Published in Logical Methods in Computer Science (2006)

Get full text

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

Standalone Record Save to List
Saved in:
Relational Parametricity and Control

Published in Logical Methods in Computer Science (2006)

Get full text

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

Standalone Record Save to List
Saved in:
Logics for Unranked Trees: An Overview

Published in Logical Methods in Computer Science (2006)

Get full text

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

Standalone Record Save to List
Saved in:
On the complexity of XPath containment in the presence of disjunction, DTDs, and variables

Published in Logical Methods in Computer Science (2006)

Get full text

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

Standalone Record Save to List
Saved in:
Context-Sensitive Languages, Rational Graphs and Determinism

Published in Logical Methods in Computer Science (2006)

Get full text

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

Standalone Record Save to List
Saved in:
Modal Logics of Topological Relations

Published in Logical Methods in Computer Science (2006)

Get full text

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

Standalone Record Save to List
Saved in:
A System of Interaction and Structure II: The Need for Deep Inference

Published in Logical Methods in Computer Science (2006)

Get full text

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

Standalone Record Save to List
Saved in:
On the Expressiveness of the Ambient Logic

Published in Logical Methods in Computer Science (2006)

Get full text

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

Standalone Record Save to List
Saved in:
The monadic second-order logic of graphs XVI : Canonical graph decompositions

Published in Logical Methods in Computer Science (2006)

Get full text

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

Standalone Record Save to List
Saved in:
Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative

Published in Logical Methods in Computer Science (2006)

Get full text

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

Standalone Record Save to List
Saved in:
Extending the theory of Owicki and Gries with a logic of progress

Published in Logical Methods in Computer Science (2006)

Get full text

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

Standalone Record Save to List
Saved in:
Approximate reasoning for real-time probabilistic processes

Published in Logical Methods in Computer Science (2006)

Get full text

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

Standalone Record Save to List
Saved in: