Frontiers of combining systems. 3rd international workshop, FroCoS 2000, Nancy, France, March 22--24, 2000. Proceedings
From MaRDI portal
Publication:1972826
DOI10.1007/10720084zbMath0935.00044OpenAlexW3021771792MaRDI QIDQ1972826
No author found.
Publication date: 16 April 2000
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/10720084
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items
Computer supported mathematics with \(\Omega\)MEGA ⋮ Rewriting and narrowing for constructor systems with call-time choice semantics ⋮ \({\mathcal E}\)-connections of abstract description systems