Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Chrzaszcz, Jacek - Instytut Matematyki, Uniwersytet Warszawski
Implementing Modules in the Coq System Jacek Chrzszcz
Compl'etude de syst`emes de r'e'ecriture d'ordre sup'erieur
Consistency and Completeness of Rewriting in the Calculus of Constructions
Uniwersytet Warszawski Wydzia Matematyki, Informatyki i Mechaniki
Polymorphic Subtyping Without Distributivity Jacek Chrz#szcz ?
KOTEK: Clustering Of The Enterprise Code Andrzej Gsienica-Samek 1 , Tomasz Stachowicz 1 ,
Inductive Consequences in the Calculus of Constructions
BML and related tools Jacek Chrzszcz
Towards Rewriting in Coq Jacek Chrzszcz and Daria Walukiewicz-Chrzszcz
Propagation of JML non-null annotations in Java programs Maciej Cielecki Jedrzej Fulara
From OBJ to ML to Coq Jacek Chrz aszcz1
Modules in Coq Are and Will Be Correct Jacek Chrzszcz
ESC/Java2 as a Tool to Ensure Security in the Source Code of Java Applications
Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
Polymorphic Subtyping Without Distributivity Jacek Chrz#szcz
Polymorphic Subtyping Without Distributivity Jacek Chrz#szcz
Implementing Modules in the Coq System Jacek Chrzszcz ?
Minik: A Tool for Maintaining Proper Java Code Jacek Chrzszcz2
ByteCode 2010 A dozen instructions make Java bytecode1
Compl'etude de syst`emes de r'e'ecriture d'ordre sup'erieur
Uniwersytet Warszawski Wydzia# Matematyki, Informatyki i Mechaniki
