Sciweavers

2696 search results - page 18 / 540
» Semantic Abstraction and Anaphora
Sort
View
SPE
2008
83views more  SPE 2008»
14 years 11 months ago
Conditioned semantic slicing for abstraction; industrial experiment
raction; Industrial Experiment Martin Ward, , Hussein Zedan
Martin P. Ward, Hussein Zedan, Matthias Ladkau, St...
JFP
1998
62views more  JFP 1998»
14 years 11 months ago
Classical Logic, Continuation Semantics and Abstract Machines
Thomas Streicher, Bernhard Reus