Michael J. O'Donnell

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Testing confluence of nonterminating rewriting systems Conditional and Typed Rewriting Systems	2023-03-09	Paper
Infinite terms and infinite rewritings Conditional and Typed Rewriting Systems	2023-03-09	Paper
Intuitive counterexamples for constructive fallacies Mathematical Foundations of Computer Science 1994	2022-08-18	Paper
Connecting formal semantics to constructive intuitions Lecture Notes in Computer Science	2017-11-17	Paper
Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels Annals of Pure and Applied Logic	1998-03-12	Paper
How to prove representation-independent independence results Information Processing Letters	1987-01-01	Paper
Collections of Functions for Perfect Hashing SIAM Journal on Computing	1986-01-01	Paper
Lower Bounds for Sorting with Realistic Instruction Sets IEEE Transactions on Computers	1985-01-01	Paper
Implementation of an interpreter for abstract equations Software: Practice and Experience	1985-01-01	Paper
scientific article; zbMATH DE number 4037157 (Why is no real title available?)	1985-01-01	Paper
The Expressiveness of Simple and Second-Order Type Structures Journal of the ACM	1983-01-01	Paper
Pattern Matching in Trees Journal of the ACM	1982-01-01	Paper
A Combinatorial Problem Concerning Processor Interconnection Networks IEEE Transactions on Computers	1982-01-01	Paper
scientific article; zbMATH DE number 3786119 (Why is no real title available?)	1982-01-01	Paper
A critique of the foundations of Hoare style programming logics Communications of the ACM	1982-01-01	Paper
Programming with Equations ACM Transactions on Programming Languages and Systems	1982-01-01	Paper
Geometric Problems with Application to Hashing SIAM Journal on Computing	1982-01-01	Paper
scientific article; zbMATH DE number 3679150 (Why is no real title available?)	1978-01-01	Paper
Computing in systems described by equations Lecture Notes in Computer Science	1977-01-01	Paper

Research outcomes over time

This page was built for person: Michael J. O'Donnell