A parallel algorithm for the monadic unification problem
Auger, Ivan E. ; Krishnamoorthy, M. S.
- Link zu diesem Datensatz
- https://d-nb.info/1341043576
- Titel
- A parallel algorithm for the monadic unification problem
- Art des Inhalts
- Teil eines Werks
- Verfassangaben
- by Ivan E. Auger, M. S. Krishnamoorthy
- Autor(en)
-
- Auger, Ivan E.
- Krishnamoorthy, M. S.
- Organisation(en)
-
- SpringerLink (Online service)
- Zeitliche Einordnung
- Erscheinungsdatum: 1985
- Umfang/Format
- 1 Online-Ressource.
- DOI
- 10.1007/BF01934375
- Online
- https://doi.org/10.1007/BF01934375
- Sprache
- eng
- Schlagwörter
- Frühere/spätere Titel
-
- Enthalten in: BIT
- Enthalten in: BIT
- Enthalten in: BIT
- Stand
- 06.09.2024 13:53
- Im Katalog seit
- 07.03.2026