Sciweavers

20 search results - page 1 / 4

» lics 1997

19

LICS
1997
IEEE

139views Automated Reasoning» more LICS 1997»

On the Complexity of Reasoning in Kleene Algebra

13 years 8 months ago

On the Complexity of Reasoning in Kleene Algebra

Download www.cs.cornell.edu

Dexter Kozen

claim paper

Read More »

12

LICS
1997
IEEE

113views Automated Reasoning» more LICS 1997»

Linear Higher-Order Pre-Unification

13 years 8 months ago

Linear Higher-Order Pre-Unification

Download www.cs.cmu.edu

Iliano Cervesato, Frank Pfenning

claim paper

Read More »

15

LICS
1997
IEEE

101views Automated Reasoning» more LICS 1997»

A Logic for Reasoning with Higher-Order Abstract Syntax

13 years 8 months ago

A Logic for Reasoning with Higher-Order Abstract Syntax

Download www.lix.polytechnique.fr

Raymond McDowell, Dale Miller

claim paper

Read More »

11

LICS
1997
IEEE

100views Automated Reasoning» more LICS 1997»

A Relational Account of Call-by-Value Sequentiality

13 years 8 months ago

A Relational Account of Call-by-Value Sequentiality

Download www.brics.dk

Jon G. Riecke, Anders Sandholm

claim paper

Read More »

11

LICS
1997
IEEE

86views Automated Reasoning» more LICS 1997»

An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces

13 years 8 months ago

An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces

Download www.brics.dk

P. S. Thiagarajan, Igor Walukiewicz

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »