Sciweavers

1950 search results - page 13 / 390

» Lambda-Free Logical Frameworks

123

VSTTE
2005
Springer

75views Software Engineering» more VSTTE 2005»

Computational Logical Frameworks and Generic Program Analysis Technologies

15 years 11 months ago

Computational Logical Frameworks and Generic Program Analysis Technologies

Download vstte.ethz.ch

José Meseguer, Grigore Rosu

claim paper

Read More »

136

Voted

VSTTE
2005
Springer

113views Software Engineering» more VSTTE 2005»

Meta-Logical Frameworks and Formal Digital Libraries

15 years 11 months ago

Meta-Logical Frameworks and Formal Digital Libraries

Download vstte.ethz.ch

Carsten Schürmann

claim paper

Read More »

109

FLOPS
2004
Springer

89views Automated Reasoning» more FLOPS 2004»

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

15 years 11 months 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 »

107

Voted

FLOPS
2001
Springer

89views Automated Reasoning» more FLOPS 2001»

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

15 years 10 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 »

116

CSL
2000
Springer

95views Automated Reasoning» more CSL 2000»

Elimination of Negation in a Logical Framework

15 years 10 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 »