Search Results - Information Technology Journal :: FRELIP Discovery

Lazy Evaluation and Delimited Control

Published in Logical Methods in Computer Science (2010)

Get full text

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

Standalone Record Save to List
Saved in:
Size-Change Termination, Monotonicity Constraints and Ranking Functions

Published in Logical Methods in Computer Science (2010)

Get full text

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

Standalone Record Save to List
Saved in:
Transforming Outermost into Context-Sensitive Rewriting

Published in Logical Methods in Computer Science (2010)

Get full text

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

Standalone Record Save to List
Saved in:
Redundancy, Deduction Schemes, and Minimum-Size Bases for Association Rules

Published in Logical Methods in Computer Science (2010)

Get full text

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

Standalone Record Save to List
Saved in:
Analytic Tableaux for Simple Type Theory and its First-Order Fragment

Published in Logical Methods in Computer Science (2010)

Get full text

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

Standalone Record Save to List
Saved in:
On the Monadic Second-Order Transduction Hierarchy

Published in Logical Methods in Computer Science (2010)

Get full text

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

Standalone Record Save to List
Saved in:
Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories

Published in Logical Methods in Computer Science (2010)

Get full text

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

Standalone Record Save to List
Saved in:
Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies

Published in Logical Methods in Computer Science (2010)

Get full text

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

Standalone Record Save to List
Saved in:
On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases

Published in Logical Methods in Computer Science (2010)

Get full text

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

Standalone Record Save to List
Saved in:
Weighted Logics for Nested Words and Algebraic Formal Power Series

Published in Logical Methods in Computer Science (2010)

Get full text

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

Standalone Record Save to List
Saved in:
Guarded Second-Order Logic, Spanning Trees, and Network Flows

Published in Logical Methods in Computer Science (2010)

Get full text

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

Standalone Record Save to List
Saved in:
Bifinite Chu Spaces

Published in Logical Methods in Computer Science (2010)

Get full text

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

Standalone Record Save to List
Saved in:
O-Minimal Hybrid Reachability Games

Published in Logical Methods in Computer Science (2010)

Get full text

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

Standalone Record Save to List
Saved in:
A Graph Model for Imperative Computation

Published in Logical Methods in Computer Science (2010)

Get full text

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

Standalone Record Save to List
Saved in:
Observational Equivalence and Full Abstraction in the Symmetric Interaction Combinators

Published in Logical Methods in Computer Science (2009)

Get full text

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

Standalone Record Save to List
Saved in:
Computation Tree Logic with Deadlock Detection

Published in Logical Methods in Computer Science (2009)

Get full text

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

Standalone Record Save to List
Saved in:
The Complexity of Infinite Computations In Models of Set Theory

Published in Logical Methods in Computer Science (2009)

Get full text

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

Standalone Record Save to List
Saved in:
Infinitary Combinatory Reduction Systems: Confluence

Published in Logical Methods in Computer Science (2009)

Get full text

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

Standalone Record Save to List
Saved in:
A Step-indexed Semantics of Imperative Objects

Published in Logical Methods in Computer Science (2009)

Get full text

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

Standalone Record Save to List
Saved in:
A Type System For Call-By-Name Exceptions

Published in Logical Methods in Computer Science (2009)

Get full text

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

Standalone Record Save to List
Saved in: