Sciweavers

2585 search results - page 18 / 517

» Automating Coherent Logic

24

LOPSTR
2000
Springer

104views Automated Reasoning» more LOPSTR 2000»

Higher-order transformation of logic programs

13 years 11 months ago

Higher-order transformation of logic programs

Download www.cs.nott.ac.uk

Silvija Seres, J. Michael Spivey

claim paper

Read More »

23

CSL
1995
Springer

93views Automated Reasoning» more CSL 1995»

On the Modal Logic K Plus Theories

13 years 11 months ago

On the Modal Logic K Plus Theories

Download reference.kfupm.edu.sa

Alain Heuerding, Stefan Schwendimann

claim paper

Read More »

24

LACL
1997
Springer

94views Automated Reasoning» more LACL 1997»

Underspecification in Type-Logical Grammars

13 years 11 months ago

Underspecification in Type-Logical Grammars

Download wwwhome.cs.utwente.nl

Dirk Heylen

claim paper

Read More »

25

LICS
1995
IEEE

111views Automated Reasoning» more LICS 1995»

Complete Proof Systems for First Order Interval Temporal Logic

13 years 11 months ago

Complete Proof Systems for First Order Interval Temporal Logic

Download www.cse.dmu.ac.uk

Bruno Dutertre

claim paper

Read More »

16

CSL
1991
Springer

91views Automated Reasoning» more CSL 1991»

Logical Semantics of Modularisation

13 years 11 months ago

Logical Semantics of Modularisation

Download www.cs.rug.nl

Gerard R. Renardel de Lavalette

claim paper

Read More »

« Prev « First page 18 / 517 Last » Next »