Boolean operations and inclusion test for attribute–element constraints (Englisch)
- Neue Suche nach: Hosoya, Haruo
- Neue Suche nach: Murata, Makoto
- Neue Suche nach: Hosoya, Haruo
- Neue Suche nach: Murata, Makoto
In:
Theoretical Computer Science
;
360
, 1-3
;
327-351
;
2006
-
ISSN:
- Aufsatz (Zeitschrift) / Elektronische Ressource
-
Titel:Boolean operations and inclusion test for attribute–element constraints
-
Beteiligte:Hosoya, Haruo ( Autor:in ) / Murata, Makoto ( Autor:in )
-
Erschienen in:Theoretical Computer Science ; 360, 1-3 ; 327-351
-
Verlag:
- Neue Suche nach: Elsevier B.V.
-
Erscheinungsdatum:05.05.2006
-
Format / Umfang:25 pages
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis – Band 360, Ausgabe 1-3
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
A modal proof theory for final polynomial coalgebrasFriggens, David / Goldblatt, Robert et al. | 2005
- 23
-
Theoretical foundations of dynamic program slicingBinkley, Dave / Danicic, Sebastian / Gyimóthy, Tibor / Harman, Mark / Kiss, Ákos / Korel, Bogdan et al. | 2006
- 42
-
On structuring proof search for first order linear logicBruscoli, Paola / Guglielmi, Alessio et al. | 2005
- 77
-
Boolean restriction categories and taut monadsManes, Ernie et al. | 2006
- 96
-
LTL over integer periodicity constraintsDemri, Stéphane et al. | 2006
- 124
-
Two polygraphic presentations of Petri netsGuiraud, Yves et al. | 2006
- 147
-
A characterization theorem for injective model classes axiomatized by general rulesZhu, Zhaohui / Zhang, Rong / Lu, Shan et al. | 2006
- 172
-
Decidability of performance equivalence for basic parallel processesLasota, Sławomir et al. | 2006
- 193
-
Eigenvariables, bracketing and the decidability of positive minimal predicate logicDowek, Gilles / Jiang, Ying et al. | 2006
- 209
-
Bisimulation on speed: A unified approachLüttgen, Gerald / Vogler, Walter et al. | 2006
- 228
-
Normal forms for binary relationsDougherty, Daniel J. / Gutiérrez, Claudio et al. | 2006
- 247
-
Multimodal logic programmingNguyen, Linh Anh et al. | 2006
- 289
-
Investigations on the Dual CalculusTzevelekos, Nikos et al. | 2006
- 327
-
Boolean operations and inclusion test for attribute–element constraintsHosoya, Haruo / Murata, Makoto et al. | 2006
- 352
-
Model checking for process rewrite systems and a class of action-based regular propertiesBozzelli, Laura et al. | 2006
- 373
-
Approximating and computing behavioural distances in probabilistic transition systemsvan Breugel, Franck / Worrell, James et al. | 2006
- 386
-
Semantic foundations for generalized rewrite theoriesBruni, Roberto / Meseguer, José et al. | 2006
- 415
-
Interfaces as functors, programs as coalgebras—A final coalgebra theorem in intensional type theoryMichelbrink, Markus et al. | 2006
- 440
-
Processes as formal power series: A coinductive approach to denotational semanticsBoreale, Michele / Gadducci, Fabio et al. | 2006
- 459
-
Erratum to “Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets”Hartmann, Sven / Link, Sebastian / Schewe, Klaus-Dieter et al. | 2006
- 461
-
Author index| 2006
- 463
-
Master index| 2006
- v
-
Editorial board v-ix| 2006