- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: 4th International Workshop on Inference in Computational Semantics(ICoS-4), Nancy, France, 25-26 Sept.2003
- Klassifikation
-
Informatik
- Schlagwort
-
Lambda Terms
- Ereignis
-
Veröffentlichung
- (wo)
-
Saarbrücken
- (wer)
-
Saarländische Universitäts- und Landesbibliothek
- (wann)
-
2004
- Urheber
-
Niehren, Joachim
Villaret, Mateu
- URN
-
urn:nbn:de:bsz:291-scidok-2771
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
21.03.2023, 00:20 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Niehren, Joachim
- Villaret, Mateu
- Saarländische Universitäts- und Landesbibliothek
Entstanden
- 2004
Ähnliche Objekte (12)
German unification in the European context
Nominal unification with atom and context variables
A decision algorithm for stratified context unification
Unification in a Sorted (lambda)-Calculus with Term Declarations and Function Sorts
Polymorphic lambda calculus with context-free session types
Carbon pricing under binding political constraints
Verifying binding constraints for anaphor resolution
An optimised decision algorithm for stratified context unification
Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading
Scope and situation binding in LTAG using semantic unification
On generic context lemmas for lambda calculi with sharing
On generic context lemmas for lambda calculi with sharing
German unification in the European context
Nominal unification with atom and context variables
A decision algorithm for stratified context unification
Unification in a Sorted (lambda)-Calculus with Term Declarations and Function Sorts
Polymorphic lambda calculus with context-free session types
Carbon pricing under binding political constraints
Verifying binding constraints for anaphor resolution
An optimised decision algorithm for stratified context unification
Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading
Scope and situation binding in LTAG using semantic unification
On generic context lemmas for lambda calculi with sharing
On generic context lemmas for lambda calculi with sharing
German unification in the European context
Nominal unification with atom and context variables
A decision algorithm for stratified context unification
Unification in a Sorted (lambda)-Calculus with Term Declarations and Function Sorts
Polymorphic lambda calculus with context-free session types
Carbon pricing under binding political constraints
Verifying binding constraints for anaphor resolution
An optimised decision algorithm for stratified context unification
Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading
Scope and situation binding in LTAG using semantic unification
On generic context lemmas for lambda calculi with sharing