Gast ::
Dynamic detection of determinism in functional logic languages
;
In
Selected Papers of the Symposium on Programming Language Implementation and Logic Programming : Passau, Germany 26–28 August 1991 / Edited by J. Maluszinski, M. Wirsing
In
Theoretical computer science 142(1), Seiten/Artikel-Nr.:59-87
1995
Online
DOI: 10.1016/0304-3975(94)00225-8
Einrichtungen
- Fachgruppe Informatik (120000)
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
Dokumenttyp
Journal Article/Contribution to a conference proceedings
Format
online, print
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
INSPEC: 4950607
WOS Core Collection: WOS:A1995QV78700004
SCOPUS: SCOPUS:2-s2.0-0001775354
Interne Identnummern
RWTH-CONV-084000
Datensatz-ID: 235169
Beteiligte Länder
Germany
|
The record appears in these collections: |