Decidability of Trajectory-Based Equations
| dc.contributor.author | Domaratzki, Mike | |
| dc.contributor.author | Salomaa, Kai | |
| dc.date.accessioned | 2024-09-13T18:21:32Z | |
| dc.date.available | 2024-09-13T18:21:32Z | |
| dc.date.issued | 2003 | |
| dc.identifier.uri | https://hdl.handle.net/1974/33426 | |
| dc.language.iso | en | |
| dc.publisher | Queen's University Department of Computing & Information Science | |
| dc.relation.ispartofseries | 03-472 | |
| dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 International | * |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
| dc.title | Decidability of Trajectory-Based Equations | |
| dc.type | technical report |