Sciweavers

852 search results - page 14 / 171

» entcs 2010

33

ENTCS
2007

74views more ENTCS 2007»

On Well-Foundedness and Expressiveness of Promoted Tyft: Being Promoted Makes a Difference

14 years 10 months ago

On Well-Foundedness and Expressiveness of Promoted Tyft: Being Promoted Makes a Difference

Download www.cse.unsw.edu.au

Mohammad Reza Mousavi, Michel A. Reniers

claim paper

Read More »

47

ENTCS
2007

68views more ENTCS 2007»

Modelling Generic Judgements

14 years 10 months ago

Modelling Generic Judgements

Download www2.tcs.ifi.lmu.de

Ulrich Schöpp

claim paper

Read More »

41

ENTCS
2007

79views more ENTCS 2007»

Higher-Order Syntax and Saturation Algorithms for Hybrid Logic

14 years 10 months ago

Higher-Order Syntax and Saturation Algorithms for Hybrid Logic

Download www.ps.uni-saarland.de

Moritz Hardt, Gert Smolka

claim paper

Read More »

28

ENTCS
2007

100views more ENTCS 2007»

Concurrent Logic and Automata Combined: A Semantics for Components

14 years 10 months ago

Concurrent Logic and Automata Combined: A Semantics for Components

Download www.computing.surrey.ac.uk

Juliana Küster Filipe, Sotiris Moschoyiannis

claim paper

Read More »

57

ENTCS
2007

94views more ENTCS 2007»

Intruder Deduction for the Equational Theory of Exclusive-or with Commutative and Distributive Encryption

14 years 10 months ago

Intruder Deduction for the Equational Theory of Exclusive-or with Commutative and Distributive Encryption

Download www.lsv.ens-cachan.fr

Pascal Lafourcade

claim paper

Read More »

« Prev « First page 14 / 171 Last » Next »