MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Paula Severi" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 11 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • On Normalisation  
  • by Femke van Raamsdonk, Paula Severi
  • …@(email omitted); Paula Severi Department of Mathematics and Computing Science Eindhoven University of Technology P…
  • Cited by 13 (2 self) – Add To MetaCart
  • Böhm's Theorem for Berarducci Trees  
  • by Mariangiola Dezani-ciancaglini, Paula Severi, Fer-Jan de Vries — 2000
  • … Mariangiola Dezani and Paula Severi. c 2000 Published by Elsevier Science B. V. Dezani-Ciancaglini, Severi…
  • Add To MetaCart
  • A lambda calculus for D∞  
  • by Paula Severi, Fer-Jan de Vries — 2002
  • … lambda calculus for D1 Paula Severi 1 and Fer-Jan de Vries 2 1 Centro de Matematica, Facultad de…
  • Add To MetaCart
  • Infinite rewriting: from syntax to semantics  
  • by Richard Kennaway, Paula Severi, Ronan Sleep, Fer-jan De Vries — 2005 — In Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday
  • …Infinitary Rewriting: From Syntax to Semantics ⋆ Richard Kennaway 1 , Paula Severi 2 , Ronan Sleep…
  • Cited by 2 (0 self) – Add To MetaCart
  • Cs-R9545 1995  
  • by Report Cs-R Issn, F. Van Raamsdonk, P. Severi, Issn -x, Femke Van Raamsdonk, Paula Severi — 1995 — Centrum voor Wiskunde en Informatica (CWI
  • … Femke van Raamsdonk CWI P.O. Box 94079, 1090 GB Amsterdam The Netherlands femke@(email omitted); Paula Severi…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB