Sciweavers

3994 search results - page 48 / 799

» A Linear Logical Framework

102

ACL
1998

91views Computational Linguistics» more ACL 1998»

Efficient Linear Logic Meaning Assembly

15 years 8 months ago

Efficient Linear Logic Meaning Assembly

Download acl.ldc.upenn.edu

Vineet Gupta, John Lamping

claim paper

Read More »

96

Voted

CACM
2010

62views more CACM 2010»

15 years 6 months ago

Download www.cs.cmu.edu

Alex Wright

claim paper

Read More »

97

Voted

CORR
2010
Springer

106views Education» more CORR 2010»

Controlling program extraction in Elementary Linear Logic

15 years 6 months ago

Controlling program extraction in Elementary Linear Logic

Download perso.ens-lyon.fr

Marc Lasson

claim paper

Read More »

155

ENTCS
2008

101views more ENTCS 2008»

Model Checking Quantitative Linear Time Logic

15 years 6 months ago

Model Checking Quantitative Linear Time Logic

Download people.na.infn.it

This paper considers QLtl, a quantitative analagon of Ltl and presents algorithms for model checking QLtl over quantitative versions of Kripke structures and Markov chains.

Marco Faella, Axel Legay, Mariëlle Stoelinga

claim paper

Read More »

141

IGPL
2007

91views more IGPL 2007»

From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability

15 years 6 months ago

From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability

Download www2.imm.dtu.dk

Valentin Goranko, Alberto Zanardo

claim paper

Read More »

« Prev « First page 48 / 799 Last » Next »