Search Sciweavers | Sciweavers

7075 search results - page 108 / 1415

» Models and heterogeneous reasoning

128

click to vote

CADE
2007
Springer

154views Logical Reasoning» more CADE 2007»

The Bedwyr System for Model Checking over Syntactic Expressions

16 years 6 months ago

Download users.rsise.anu.edu.au

David Baelde, Andrew Gacek, Dale Miller, Gopalan N...

claim paper

Read More »

102

click to vote

ICLP
2001
Springer

111views Automated Reasoning» more ICLP 2001»

A Computational Model for Functional Logic Deductive Databases

15 years 10 months ago

Download www.ual.es

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

claim paper

Read More »

135

click to vote

CSL
1992
Springer

99views Automated Reasoning» more CSL 1992»

Model Building by Resolution

15 years 10 months ago

Download www.logic.at

ating Point Numbers (Abstract). In: Berichte aus Informatik

Christian G. Fermüller, Alexander Leitsch

claim paper

Read More »

130

click to vote

LOPSTR
2000
Springer

103views Automated Reasoning» more LOPSTR 2000»

A model for inter-module analysis and optimizing compilation

15 years 9 months ago

Download clip.dia.fi.upm.es

Francisco Bueno, Maria J. García de la Band...

claim paper

Read More »

114

click to vote

CL
2008
Springer

102views Automated Reasoning» more CL 2008»

Application-specific models and pointcuts using a logic metalanguage

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers