30 Ergebnisse für: formalisms
-
Preliminary TRALE Page
http://www.sfs.uni-tuebingen.de/hpsg/archive/projects/trale/
Keine Beschreibung vorhanden.
-
TU Dortmund / Fakultät für Informatik / Lehrstuhl IV
http://ls4-www.cs.tu-dortmund.de/QPN/
Fakultaet fuer Informatik, Lehrstuhl IV
-
TOBIAS-lib - A Mathematical formalism for linguistic theories with an application in head-driven phrase structure grammar
http://wayback.archive.org/web/20070930040158/http://w210.ub.uni-tuebingen.de/dbt/volltexte/2004/1203/index.html
This dissertation belongs in the field of mathematical linguistics. It presents a logical formalism called Relational Speciate Re-entrant Language (RSRL), which is suitable for specifying with mathematical precision grammars which are written in the…
-
Deutsche Gesellschaft für Sprachwissenschaft - DGfS | Prof. Dr. Dieter Wunderlich wird mit dem Wilhelm von Humboldt-Preis für sein Lebenswerk geehrt
https://dgfs.de/de/aktuelles/2013/wilhelm-von-humboldt-preis-2014-fuer-das-lebenswerk.html
Wilhelm von Humboldt-Preis 2014 für das Lebenswerk
-
-
Deutsche Gesellschaft für Sprachwissenschaft - DGfS | Stellungnahme der DGfS zu Gebärdensprachen
https://dgfs.de/de/aktuelles/2012/stellungnahme-der-dgfs-zu-gebaerdensprachen.html
Stellungnahme der DGfS zu Gebärdensprachen
-
Angewandte Sprachwissenschaft und Computerlinguistik
http://wayback.archive.org/web/20091004023947/http://www.uni-giessen.de/germanistik/ascl/cl-materialien/grammatik.shtml
Keine Beschreibung vorhanden.
-
Deutsche Gesellschaft für Sprachwissenschaft - DGfS | Dialektale und jugendsprachliche Varianten sind kein "Sprachverfall"
https://dgfs.de/de/aktuelles/2012/erklaerung-der-dgfs-zu-sprachlichen-varianten.html
Stellungnahme der DGfS: Sprachliche Varianten (Kiezdeutsch, Jugendsprachen, etc.) sind kein Sprachverfall
-
Computer Aided Verification: 20th International Conference, CAV 2008 ... - Google Books
https://books.google.de/books?id=oRNqCQAAQBAJ&pg=PP214
This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008. The 33 revised full papers presented together with 14 tool papers and 2 invited papers…
-
PVS - Mitarbeiter
http://wayback.archive.org/web/20121231004021/http://pvs.uni-muenster.de/pvs/mitarbeiter/gorlatch/
Parallele und Verteilte Systeme