Searching for authors named Damian Niwinski – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
Fixed Point Characterization of Infinite Behavior of Finite State Systems
- …Fixed point characterization of infinite behavior of finite state systems Damian Niwi'nski 1…
- Cited by 26 (4 self) – Add To MetaCart
-
Games for the µ-Calculus
- …Games for the -calculus Damian Niwi'nski Igor Walukiewicz Institute of Informatics, Warsaw…
- Add To MetaCart
-
Y = 2x Vs. Y = 3x
- … Angeles, CA 90024-1555 e-mail: aps@(email omitted); Damian Niwi'nski y Institute of Informatics University…
- Cited by 2 (0 self) – Add To MetaCart
-
On the Feasibility of Checking Temporal Integrity Constraints
- … University Damian Niwi'nski z Warsaw University May 22, 1995 Keywords: integrity constraints, temporal…
- Cited by 34 (8 self) – Add To MetaCart
-
On Distributive Fixpoint Expressions
- …On Distributive Fixpoint Expressions Helmut Seidl Damian Niwi'nski y May 18, 1998 Abstract…
- Cited by 1 (1 self) – Add To MetaCart
-
On Distributive Fixed-Point Expressions
- …On Distributive Fixed-Point Expressions Helmut Seidl Damian Niwi'nski y November 1998 Abstract…
- Cited by 1 (0 self) – Add To MetaCart
-
A Gap Property of Deterministic Tree Languages
- …A gap property of deterministic tree languages ? Damian Niwinski and Igor Walukiewicz Institute…
- Cited by 5 (3 self) – Add To MetaCart
-
Relating Hierarchies of Word and Tree Automata
- …Relating hierarchies of word and tree automata Damian Niwi'nski ? and Igor Walukiewicz…
- Cited by 11 (3 self) – Add To MetaCart
-
First-Order Queries over Temporal Databases Inexpressible in Temporal Logic
- … and Damian Niwi'nski z Department of Computer Science, University of Toronto Toronto, Ontario M5S 1A4…
- Cited by 24 (14 self) – Add To MetaCart
-
The Horn Mu-calculus
- …The Horn Mu--calculus Witold Charatonik y David McAllester z Damian Niwinski x-- Andreas…
- Cited by 12 (9 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
