Sciweavers

16616 search results - page 202 / 3324
» Extending Extended Vacuity
Sort
View
CTRS
1990
15 years 9 months ago
Extended Term Rewriting Systems
Jan Willem Klop, Roel C. de Vrijer
FOCS
1990
IEEE
15 years 9 months ago
Coin-Flipping Games Immune against Linear-Sized Coalitions (Extended Abstract)
d abstract) Noga Alon IBM Almaden Research Center, San Jose, CA 95120 and Sackler Faculty of Exact Sciences, Tel Aviv University, Tel Aviv, Israel Moni Naor IBM Almaden Research Ce...
Noga Alon, Moni Naor
121
Voted
ICLP
1990
Springer
15 years 9 months ago
Extending Definite Clause Grammars with Scoping Constructs
Definite Clause Grammars (DCGs) have proved valuable to computational linguists since they can be used to specify phrase structured grammars. It is well known how to encode DCGs i...
Remo Pareschi, Dale Miller
113
Voted
ISCA
1990
IEEE
72views Hardware» more  ISCA 1990»
15 years 9 months ago
Fast Prolog with an Extended General Purpose Architecture
Bruce K. Holmer, Barton Sano, Michael J. Carlton, ...