Search Results - Information Technology Journal :: FRELIP Discovery

Lambda-RBAC: Programming with Role-Based Access Control

Published in Logical Methods in Computer Science (2008)

Get full text

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

Standalone Record Save to List
Saved in:
Are there Hilbert-style Pure Type Systems?

Published in Logical Methods in Computer Science (2008)

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 strong normalisation using domain theory

Published in Logical Methods in Computer Science (2007)

Get full text

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

Standalone Record Save to List
Saved in:
Generic Trace Semantics via Coinduction

Published in Logical Methods in Computer Science (2007)

Get full text

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

Standalone Record Save to List
Saved in:
Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic

Published in Logical Methods in Computer Science (2007)

Get full text

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

Standalone Record Save to List
Saved in:
The Church Synthesis Problem with Parameters

Published in Logical Methods in Computer Science (2007)

Get full text

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

Standalone Record Save to List
Saved in:
Coinductive Proof Principles for Stochastic Processes

Published in Logical Methods in Computer Science (2007)

Get full text

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

Standalone Record Save to List
Saved in:
Decisive Markov Chains

Published in Logical Methods in Computer Science (2007)

Get full text

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

Standalone Record Save to List
Saved in:
A Characterisation of First-Order Constraint Satisfaction Problems

Published in Logical Methods in Computer Science (2007)

Get full text

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

Standalone Record Save to List
Saved in:
A Note on Shortest Developments

Published in Logical Methods in Computer Science (2007)

Get full text

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

Standalone Record Save to List
Saved in:
Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem

Published in Logical Methods in Computer Science (2007)

Get full text

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

Standalone Record Save to List
Saved in:
Interactive Small-Step Algorithms I: Axiomatization

Published in Logical Methods in Computer Science (2007)

Get full text

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

Standalone Record Save to List
Saved in:
Model Checking Synchronized Products of Infinite Transition Systems

Published in Logical Methods in Computer Science (2007)

Get full text

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

Standalone Record Save to List
Saved in:
Interpolant-Based Transition Relation Approximation

Published in Logical Methods in Computer Science (2007)

Get full text

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

Standalone Record Save to List
Saved in:
Inductive Definition and Domain Theoretic Properties of Fully Abstract

Published in Logical Methods in Computer Science (2007)

Get full text

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

Standalone Record Save to List
Saved in:
A Normalizing Intuitionistic Set Theory with Inaccessible Sets

Published in Logical Methods in Computer Science (2007)

Get full text

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

Standalone Record Save to List
Saved in:
From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata

Published in Logical Methods in Computer Science (2007)

Get full text

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

Standalone Record Save to List
Saved in:
Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems

Published in Logical Methods in Computer Science (2007)

Get full text

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

Standalone Record Save to List
Saved in:
Relating two standard notions of secrecy

Published in Logical Methods in Computer Science (2007)

Get full text

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

Standalone Record Save to List
Saved in:
A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata

Published in Logical Methods in Computer Science (2007)

Get full text

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

Standalone Record Save to List
Saved in: