Searching for "On Dynamic Algebras." – sorted by Relevance.
139 documents found, showing 1 through 10.
Next 10 →
-
Executable Specifications based on Dynamic Algebras
- …Executable Specifications based on Dynamic Algebras Angelica Maria Kappel Universitat Bonn…
- Cited by 8 (1 self) – Add To MetaCart
-
Dynamic Algebras: Examples, Constructions, Applications
- …Dynamic Algebras: Examples, Constructions, Applications Vaughan Pratt Dept. of Computer Science…
- Cited by 16 (1 self) – Add To MetaCart
-
Implementation of Dynamic Algebras with an Application to Prolog
- …Implementation of Dynamic Algebras with an Application to Prolog Angelica Maria Kappel Universitat…
- Cited by 1 (1 self) – Add To MetaCart
-
Lower Bounds for Dynamic Algebraic Problems
- …Lower bounds for dynamic algebraic problems Gudmund Skovbjerg Frandsen + , Johan P. Hansen…
- Cited by 5 (1 self) – Add To MetaCart
-
Dynamic Algebras as a well-behaved fragment of Relation Algebras
- …Dynamic Algebras as a well-behaved fragment of Relation Algebras Vaughan Pratt October 26, 1990…
- Cited by 31 (5 self) – Add To MetaCart
-
Iterated spectra of numbers|elementary, dynamical, and algebraic approaches
- … SPECTRA OF NUMBERS—ELEMENTARY, DYNAMICAL, AND ALGEBRAIC APPROACHES VITALY BERGELSON, NEIL HINDMAN…
- Cited by 2 (2 self) – Add To MetaCart
-
From time series to symbolic dynamics: An algebraic topological approach
- …From Time Series to Symbolic Dynamics: An Algebraic Topological Approach K. Mischaikow School…
- Cited by 4 (1 self) – Add To MetaCart
-
A first step towards implementing Dynamic Algebraic Dependencies
- …A rst step towards implementing Dynamic Algebraic Dependencies N. Bidoit and S. De Amo LIPN { U…
- Cited by 7 (0 self) – Add To MetaCart
-
On Dynamic Algorithms for Algebraic Problems
- …On Dynamic Algorithms for Algebraic Problems John H. Reif Department of Computer Science Duke…
- Cited by 7 (0 self) – Add To MetaCart
-
Dynamic Computations Inside the Algebraic Closure of a Valued Field
- …Fields Institute Communications Volume 00, 0000 Dynamic computations inside the algebraic closure…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
