Proceedings of the SNS Logic Colloquium March 1990

DSpace Repository

Proceedings of the SNS Logic Colloquium March 1990

Schroeder-Heister, Peter
Dateien:
Thumbnail
5.28 MB
PDF
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:
Logic
Mathematical Logic
Algorithm
Grammar Theory
Declarative Programming
Modal Logic
Kripke Structure
License: Publishing license excluding print on demand
Show full item record

Abstract:

Republication of the proceedings of the Informal Logic Colloquium held in March 1990 at the Seminar für natürlichsprachliche Systeme (SNS) of the University of Tübingen.

This item appears in the following Collection(s)