Sciweavers

1950 search results - page 13 / 390

» Lambda-Free Logical Frameworks

20

VSTTE
2005
Springer

75views Software Engineering» more VSTTE 2005»

Computational Logical Frameworks and Generic Program Analysis Technologies

14 years 27 days ago

Computational Logical Frameworks and Generic Program Analysis Technologies

Download vstte.ethz.ch

José Meseguer, Grigore Rosu

claim paper

Read More »

17

VSTTE
2005
Springer

113views Software Engineering» more VSTTE 2005»

Meta-Logical Frameworks and Formal Digital Libraries

14 years 27 days ago

Meta-Logical Frameworks and Formal Digital Libraries

Download vstte.ethz.ch

Carsten Schürmann

claim paper

Read More »

19

FLOPS
2004
Springer

89views Automated Reasoning» more FLOPS 2004»

Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework

14 years 24 days ago

Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework

Download www.cs.yale.edu

Carsten Schürmann

claim paper

Read More »

17

FLOPS
2001
Springer

89views Automated Reasoning» more FLOPS 2001»

A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs

13 years 12 months ago

A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs

Download www.ual.es

Jesús Manuel Almendros-Jiménez, Anto...

claim paper

Read More »

22

CSL
2000
Springer

95views Automated Reasoning» more CSL 2000»

Elimination of Negation in a Logical Framework

13 years 11 months ago

Elimination of Negation in a Logical Framework

Download reports-archive.adm.cs.cmu.edu

Alberto Momigliano

claim paper

Read More »

« Prev « First page 13 / 390 Last » Next »