William C. Rounds

Available identifiers

zbMath Open rounds.william-cMaRDI QIDQ1194339

List of research outcomes

Publication	Date of Publication	Type
Context-free grammars on trees	2014-03-14	Paper
SPHIN: a model checker for reconfigurable hybrid systems based on SPIN	2013-12-04	Paper
Hybrid Systems: Computation and Control	2007-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q4418858	2003-07-30	Paper
On subsumption and semiunification in feature algebras	1992-09-27	Paper
The logic of unification in grammar	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3680257	1985-01-01	Paper
On the relationships between Scott domains, synchronization trees, and metric spaces	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3321470	1983-01-01	Paper
Connections between two theories of concurrency: Metric spaces and synchronization trees	1983-01-01	Paper
The intrinsically exponential complexity of the circularity problem for attribute grammars	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4131011	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4131026	1972-01-01	Paper
Mappings and grammars on trees	1970-01-01	Paper

Research outcomes over time

This page was built for person: William C. Rounds