J. v. Leeuwen, editor. Formal Models and Semantics, volume B of Handbook of Theoretical Computer Science. Elsevier Science Publishers B.V., 1990. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Improving SAT using 2SAT - Zheng, Stuckey (2002) (2 citations) (Correct)
Improving SAT using 2SAT - Zheng, Stuckey (2002) (2 citations) (Correct)
An Object-Oriented Refinement Calculus with Modular Reasoning - Utting (1992) (15 citations) (Correct)
Solving Optimization Problems among Selfish Agents - Ronen (2000) (6 citations) (Correct)
Theory of Computing: Achievements, Challenges, and.. - Michael Loui Program (Correct)
Aviv: A Retargetable Code Generator for Embedded Processors - Hanono (1999) (2 citations) (Correct)
Cost vs. Quality: Tradeoffs in Communication Networks - Eilam (2000) (Correct)
Kolmogorov Incompressibility Method in Formal Proofs - A.. - Megalooikonomou (1997) (Correct)
Survey of Algorithms for the Convex Hull Problem - Bayer (1999) (Correct)
Fully Dynamic Transitive Closure in Plane Dags with one Source.. - Husfeldt (1994) (2 citations) (Correct)
Scheduling Multicasts on Unit-Capacity Trees and Meshes - Henzinger, Leonardi (1998) (1 citation) (Correct)
Average case reductions for Subset Sum and Decoding of Linear Codes - Arboit (1999) (Correct)
A New Operator for Efficient Evolutionary Solutions.. - Mitchell.. (2000) (Correct)
An Automata based Model for the Implementation of a TTCN Simulator - Grabowski (1996) (1 citation) (Correct)
PRIMES is in P - Agrawal, Kayal, Saxena (2002) (11 citations) (Correct)
Efficient BDD-Based Planning for Non-Deterministic.. - Jensen (2003) (Correct)
Algorithm Selection for Sorting and Probabilistic Inference: A.. - Guo (2003) (Correct)
Phobos: A front-end approach to extensible compilers - Granicz, Hickey (2003) (2 citations) (Correct)
GA-Hardness Revisited - Guo, Hsu (2003) (Correct)
Development Closed Critical Pairs - van Oostrom (1996) (2 citations) (Correct)
Meaningless Terms in Rewriting - Kennaway, van Oostrom, de Vries (1996) (12 citations) (Correct)
Default Logic as a Query Language - Cadoli, Eiter, Gottlob (1997) (10 citations) (Correct)
Adding Disjunction to Datalog (Extended Abstract) - Eiter, Gottlob, Mannila (1994) (Correct)
Developing Developments - van Oostrom (1994) (2 citations) (Correct)
A Unifying Approach to Data-independence - Lazic, Nowak (2000) (7 citations) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC