Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Walukiewicz-Chrz¹szcz, Daria - Instytut Informatyki, Uniwersytet Warszawski
Consistency and Completeness of Rewriting in the Calculus of Constructions
Termination of Rewriting in the Calculus of Constructions
ByteCode 2008 The Non-Interference Protection in BML
Towards Rewriting in Coq Jacek Chrzszcz and Daria Walukiewicz-Chrzszcz
Advanced JML and more tips and pitfalls
Inductive Consequences in the Calculus of Constructions
Inductive Consequences in the Calculus of Constructions
Specification tips and pitfalls David Cok, Joe Kiniry, and Erik Poll
A Total ACCompatible Reduction Ordering on HigherOrder Terms
Computer aided verification Lecture 2: LTL
Computer aided verification Lecture 4: Model checking for
Computer aided verification Lecture 3: -automata
