Sciweavers

LPAR
2004
Springer
14 years 5 months ago
Ordered Resolution with Selection for H(@)
Carlos Areces, Daniel Gorín
LPAR
2004
Springer
14 years 5 months ago
Reasoning About Systems with Transition Fairness
Benjamin Aminof, Thomas Ball, Orna Kupferman
LPAR
2004
Springer
14 years 5 months ago
Abstraction-Carrying Code
ion-Carrying Code Elvira Albert1 , Germ´an Puebla2 , and Manuel Hermenegildo2,3 1 DSIP, Universidad Complutense Madrid 2 Facultad de Inform´atica, Technical University of Madrid ...
Elvira Albert, Germán Puebla, Manuel V. Her...
LPAR
2004
Springer
14 years 5 months ago
Knowledge-Based Synthesis of Distributed Systems Using Event Structures
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
Mark Bickford, Robert L. Constable, Joseph Y. Halp...
LPAR
2004
Springer
14 years 5 months ago
Entanglement - A Measure for the Complexity of Directed Graphs with Applications to Logic and Games
We propose a new parameter for the complexity of finite directed graphs which measures to what extent the cycles of the graph are intertwined. This measure, called entanglement, i...
Dietmar Berwanger, Erich Grädel