Dateien: | ||
URI: |
http://hdl.handle.net/10900/128446
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1284461 http://dx.doi.org/10.15496/publikation-69809 |
Dokumentart: | Konferenzveröffentlichung |
Date: | 1990 |
Language: | English |
Faculty: | 7 Mathematisch-Naturwissenschaftliche Fakultät |
Department: | Mathematisch-Naturwissenschaftliche Fakultät |
DDC Classifikation: |
004 - Data processing and computer science 100 - Philosophy 400 - Language and Linguistics |
Keywords: | Logik , Mathematische Logik , Algorithmus , Grammatiktheorie , Deklarative Programmierung , Modallogik , Kripke-Struktur |
Other Keywords: |
![]() Mathematical Logic Algorithm Grammar Theory Declarative Programming Modal Logic Kripke Structure |
License: | Publishing license excluding print on demand |
Show full item record |