- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Geske, Ulrich; Wolf, Armin (Hrsg.). - Potsdam : Universitätsverlag, 2010. - S. 109 - 124
- Event
-
Veröffentlichung
- (where)
-
Potsdam
- (who)
-
Universität Potsdam
- (when)
-
2010
- Creator
-
Banda, Gourinath
Gallagher, John P.
- Contributor
-
Gesellschaft für Logische Programmierung e.V.
- URN
-
urn:nbn:de:kobv:517-opus-41516
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:50 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Banda, Gourinath
- Gallagher, John P.
- Gesellschaft für Logische Programmierung e.V.
- Universität Potsdam
Time of origin
- 2010
Other Objects (12)
A uniform constraint-based framework for the verification of infinite state systems
A uniform constraint-based framework for the verification of infinite state systems
Constraint-based Analysis of Distributed Systems
Germanic syntax : A constraint-based view
Germanic syntax : a constraint-based view
Verification of infinite-state graph transformation systems via abstraction
English object extraposition: A constraint-based approach
Sign language agreement: A constraint-based perspective
Constraint-based RMRS construction from shallow grammars
Qualitative constraint-based reasoning: methods and applications
Interactive, Constraint-based Layout of Engineering Diagrams
COBRA: A Constraint-Based Awareness Management Framework
A uniform constraint-based framework for the verification of infinite state systems
A uniform constraint-based framework for the verification of infinite state systems
Constraint-based Analysis of Distributed Systems
Germanic syntax : A constraint-based view
Germanic syntax : a constraint-based view
Verification of infinite-state graph transformation systems via abstraction
English object extraposition: A constraint-based approach
Sign language agreement: A constraint-based perspective
Constraint-based RMRS construction from shallow grammars
Qualitative constraint-based reasoning: methods and applications
Interactive, Constraint-based Layout of Engineering Diagrams
COBRA: A Constraint-Based Awareness Management Framework
A uniform constraint-based framework for the verification of infinite state systems
A uniform constraint-based framework for the verification of infinite state systems
Constraint-based Analysis of Distributed Systems
Germanic syntax : A constraint-based view
Germanic syntax : a constraint-based view
Verification of infinite-state graph transformation systems via abstraction
English object extraposition: A constraint-based approach
Sign language agreement: A constraint-based perspective
Constraint-based RMRS construction from shallow grammars
Qualitative constraint-based reasoning: methods and applications
Interactive, Constraint-based Layout of Engineering Diagrams