Sciweavers

2696 search results - page 18 / 540
» Semantic Abstraction and Anaphora
Sort
View
SPE
2008
83views more  SPE 2008»
13 years 9 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»
13 years 9 months ago
Classical Logic, Continuation Semantics and Abstract Machines
Thomas Streicher, Bernhard Reus