Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
van Raamsdonk, Femke - Department of Computer Science, Vrije Universiteit Amsterdam
Constructor subtyping in the Calculus of Inductive Constructions
On termination of higherorder rewriting Femke van Raamsdonk
Teaching logic using a state-of-the-art proof assistant
Translating Logic Programs into Conditional Rewriting Systems
Termination of algebraic type systems: the syntactic approach
Higher-Order Rewriting Femke van Raamsdonk
Beyond Success and Failure Sandro Etalle
Reduction Strategies and Acyclicity Jan Willem Klop1,2,3
OutermostFair Rewriting Femke van Raamsdonk
Logic Programming with Requests Sandro Etalle
FORMED 2008 Teaching logic using a state-of-the-art
Perpetual Reductions in Calculus \Lambda Femke van Raamsdonk
On Termination of Higher-Order Rewriting Femke van Raamsdonk
