William C. Rounds

MaRDI QIDQ1194339zbMATH OpenFDO

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
Context-free grammars on trees Proceedings of the first annual ACM symposium on Theory of computing - STOC '69	2014-03-14	Paper
SPHIN: a model checker for reconfigurable hybrid systems based on SPIN	2013-12-04	Paper
Hybrid Systems: Computation and Control Lecture Notes in Computer Science	2007-09-25	Paper
scientific article; zbMATH DE number 1956646 (Why is no real title available?)	2003-07-30	Paper
On subsumption and semiunification in feature algebras Journal of Symbolic Computation	1992-09-27	Paper
The logic of unification in grammar Linguistics and Philosophy	1990-01-01	Paper
scientific article; zbMATH DE number 3902015 (Why is no real title available?)	1985-01-01	Paper
On the relationships between Scott domains, synchronization trees, and metric spaces Information and Control	1985-01-01	Paper
scientific article; zbMATH DE number 3852428 (Why is no real title available?)	1983-01-01	Paper
Connections between two theories of concurrency: Metric spaces and synchronization trees Information and Control	1983-01-01	Paper
The intrinsically exponential complexity of the circularity problem for attribute grammars Communications of the ACM	1975-01-01	Paper
scientific article; zbMATH DE number 3558976 (Why is no real title available?)	1975-01-01	Paper
scientific article; zbMATH DE number 3558992 (Why is no real title available?)	1972-01-01	Paper
Mappings and grammars on trees Mathematical Systems Theory	1970-01-01	Paper

Research outcomes over time

This page was built for person: William C. Rounds