Towards functional programming in Prolog
ACM SIGPLAN Notices
Iteration for applicative languages
ACM SIGPLAN Notices
A Theory of Fault-Based Testing
IEEE Transactions on Software Engineering
ACM SIGPLAN Notices
Communications of the ACM
Formal program verification and computability theory
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
Several remarks on computations of labelled Markov algorithms
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
Verifying Definite Iteration Over Data Structures
IEEE Transactions on Software Engineering
ASIAN '00 Proceedings of the 6th Asian Computing Science Conference on Advances in Computing Science
On P Systems with Active Membranes Solving the Integer Factorization Problem in a Polynomial Time
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
Some connections between mathematical logic and complexity theory
STOC '79 Proceedings of the eleventh annual ACM symposium on Theory of computing
FSM-Hume: programming resource-limited systems using bounded automata
Proceedings of the 2004 ACM symposium on Applied computing
Proposal for a categorical programming language
ACM SIGPLAN Notices
A language construct for "Dovetailing"
ACM SIGACT News
Toward an intutive and interesting theory course: the first step of a road map
Journal of Computing Sciences in Colleges
Encyclopedia of Computer Science
The relation of Lorenzen calculus to formal language theory
ACM SIGSAM Bulletin
As simple as possible, but no simpler: a gentle introduction to simulation modeling
Proceedings of the 38th conference on Winter simulation
Fundamentals of simulation modeling
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Andrzej Grzegorczyk's Contribution to Computer Science
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
Systemic computation: A model of interacting systems with natural characteristics
International Journal of Parallel, Emergent and Distributed Systems - Emergent Computation
A case for adaptable applications software
AFIPS '83 Proceedings of the May 16-19, 1983, national computer conference
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
A useful bounded resource functional language
SOFSEM'08 Proceedings of the 34th conference on Current trends in theory and practice of computer science
Creation myths of generative grammar and the mathematics of syntactic structures
MOL'07/09 Proceedings of the 10th and 11th Biennial conference on The mathematics of language
Event-related outputs of computations in P systems
Journal of Automata, Languages and Combinatorics
On the Mathematical Foundations of Syntactic Structures
Journal of Logic, Language and Information
XSLT version 2.0 is turing-complete: a purely transformation based proof
CIAA'06 Proceedings of the 11th international conference on Implementation and Application of Automata
Andrzej Grzegorczyk's Contribution to Computer Science
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
Rewriting Computation and Proof
International Journal of Information Technology and Web Engineering
Hi-index | 0.02 |