Sciweavers

7075 search results - page 108 / 1415
» Models and heterogeneous reasoning
Sort
View
98
Voted
CADE
2007
Springer
16 years 4 months ago
The Bedwyr System for Model Checking over Syntactic Expressions
David Baelde, Andrew Gacek, Dale Miller, Gopalan N...
84
Voted
ICLP
2001
Springer
15 years 8 months ago
A Computational Model for Functional Logic Deductive Databases
Jesús Manuel Almendros-Jiménez, Anto...
107
Voted
CSL
1992
Springer
15 years 7 months ago
Model Building by Resolution
ating Point Numbers (Abstract). In: Berichte aus Informatik
Christian G. Fermüller, Alexander Leitsch
105
Voted
LOPSTR
2000
Springer
15 years 7 months ago
A model for inter-module analysis and optimizing compilation
Francisco Bueno, Maria J. García de la Band...
95
Voted
CL
2008
Springer
15 years 3 months ago
Application-specific models and pointcuts using a logic metalanguage
Johan Brichau, Andy Kellens, Kris Gybels, Kim Mens...