Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Vittek, Marian - Department of Applied Informatics, Comenius University
Implementing Computational Systems with Constraints
Electronic Notes in Theoretical Computer Science 5 (1997) to appear ELAN: A logical framework based on
Universit'e Henri Poincar'e --Nancy I CRINCNRS Facult'e des Sciences INRIALorraine
Refactoring Browser with Preprocessor Marian Vittek
1 Designing Constraint Logic Programming Languages using Computational Systems
A Compiler for Nondeterministic Term Rewriting Systems
