Filters








4 Hits in 2.4 sec

Page 6540 of Mathematical Reviews Vol. , Issue 2000i [page]

2000 Mathematical Reviews  
Kohlhase, Extensional higher-order resolution (56-71); Bruno Pagano, X.R.S: explicit reduction systemsa first-order calculus for higher-order calculi (72-87).  ...  interface between CLAM and HOL (134-138); Christoph Benzmiiller and Michael Kohlhase, System description: LEO—a higher-order theorem prover (139-143); Uwe Waldmann, Super- position for divisible torsion-free  ... 

Page 81 of Mathematical Reviews Vol. 32, Issue Index [page]

Mathematical Reviews  
R. et al., 2000a:68069 Pagano, Bruno X.R.S: explicit reduction systemsa first-order calculus for higher-order calculi.  ...  (English summary) 2000k:03059 Jeffrey, Alan Stewart Austin A fully abstract semantics for a higher-order functional language with nondeterministic computation.  ... 

Page 1823 of Mathematical Reviews Vol. 32, Issue Index [page]

Mathematical Reviews  
(English summary) (see 2000g:03005) Pagano, Bruno X.R.S: explicit reduction systemsa first-order calculus for higher-order calculi.  ...  (English summary) 2000c:68030 Jeffrey, Alan Stewart Austin A fully abstract semantics for a higher-order functional language with nondeterministic computation.  ... 

Page 1419 of Mathematical Reviews Vol. 32, Issue Index [page]

Mathematical Reviews  
Control 44 (1999), no. 8, 1578-1582. 93B51 (93B36) Pagano, Bruno X.R.S: explicit reduction systemsa first-order calculus for higher-order calculi.  ...  Analysis of the local robustness of stability for flows. (English summary) Math. Control Signals Systems 11 (1998), no. 4, 289-302.  ...