Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Nymeyer, Albert - School of Computer Science and Engineering, University of New South Wales
Code Generation = A \Lambda + BURS Albert Nymeyer ? , JoostPieter Katoen, Ymte Westra, Henk Alblas
Code generation based on formal BURS theory and heuristic A. Nymeyer, J.P. Katoen
A Grammatical Specification of HumanComputer Albert Nymeyer
The Systematic Development of a PatternMatching Algorithm using Term Rewrite Systems
PatternMatching Algorithms based on Term Rewrite Systems #
EUNICE'96 Summer School on Telecommunication Services, Lausanne Switserland, September 1996 A network management agent as tool
Backtracking NonDeterministic Recognisers Albert Nymeyer
