Sciweavers

2661 search results - page 12 / 533
» A Semantics for Abstraction
Sort
View
JFP
1998
62views more  JFP 1998»
14 years 9 months ago
Classical Logic, Continuation Semantics and Abstract Machines
Thomas Streicher, Bernhard Reus
TCS
2002
14 years 9 months ago
Operational and abstract semantics of the query language G-Log
Agostino Cortesi, Agostino Dovier, Elisa Quintarel...