- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Technical Reports ; TR-1999-007
- Keyword
-
Prozessalgebra
- Event
-
Veröffentlichung
- (where)
-
Mannheim
- (who)
-
Universitätsbibliothek Mannheim
- (when)
-
1999
- Creator
-
Majster-Cederbaum, Mila
Salger, Frank
- URN
-
urn:nbn:de:bsz:180-madoc-20584
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:56 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
- Majster-Cederbaum, Mila
- Salger, Frank
- Universitätsbibliothek Mannheim
Time of origin
- 1999
Other Objects (12)
Treebank refinement : optimising representations of syntactic analyses for probabilistic context-free parsing
Action refinement in end-based choice settings
Action refinement in end based choice settings
Logic, action, and information : essays on logic in philosophy and artifical intelligence
Syntactic requirements on adjuncts
Dynamic Logic for an Intermediate Language: Verification, Interaction and Refinement
Logic programming in action : proceedings
On the refinement calculus
On the refinement calculus
The Logic of Collective Action Revisited
A categorical view of action refinement in models of concurrency
Does the logic of collective action explain the logic of corporatism?
Treebank refinement : optimising representations of syntactic analyses for probabilistic context-free parsing
Action refinement in end-based choice settings
Action refinement in end based choice settings
Logic, action, and information : essays on logic in philosophy and artifical intelligence
Syntactic requirements on adjuncts
Dynamic Logic for an Intermediate Language: Verification, Interaction and Refinement
Logic programming in action : proceedings
On the refinement calculus
On the refinement calculus
The Logic of Collective Action Revisited
A categorical view of action refinement in models of concurrency
Does the logic of collective action explain the logic of corporatism?
Treebank refinement : optimising representations of syntactic analyses for probabilistic context-free parsing
Action refinement in end-based choice settings
Action refinement in end based choice settings
Logic, action, and information : essays on logic in philosophy and artifical intelligence
Syntactic requirements on adjuncts
Dynamic Logic for an Intermediate Language: Verification, Interaction and Refinement
Logic programming in action : proceedings
On the refinement calculus
On the refinement calculus
The Logic of Collective Action Revisited
A categorical view of action refinement in models of concurrency