MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "On the Union of Well-Founded Relations." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 11 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • On the Union of Well-Founded Relations  
  • by Henk Doornbos Cco, Heerlen Nederland
  • …On the Union of Well-Founded Relations HENK DOORNBOS, CCO Informatica Opleidingen, Akerstraat…
  • Add To MetaCart
  • Transition Invariants  
  • by Andreas Podelski, Andrey Rybalchenko
  • … of the transition relation of the program. A relation is disjunctively well-founded if it is a finite union of well-founded…
  • Cited by 35 (12 self) – Add To MetaCart
  • Combining Induction Axioms By Machine  
  • by Christoph Walther, Technische Hochschule Darmstadt — 1993 — Proc. of Twelfth International Joint Conference on Artificial Intelligence
  • … axiom is the set-theoretic union of the well-founded relations implicitly defined by the induction…
  • Cited by 4 (0 self) – Add To MetaCart
  • Terminator: Beyond Safety  
  • by Byron Cook, Andreas Podelski, Andrey Rybalchenko — 2006 — IN CAV
  • … (a union of well-founded relations). (iv) Binary reachability analysis. In the refinement loop…
  • Cited by 21 (4 self) – Add To MetaCart
  • Termination Proofs for Systems Code  
  • by Byron Cook, Andreas Podelski, Andrey Rybalchenko — 2006 — IN PLDI’06: PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION
  • … relation W contains the relation ρ and is well-founded. See Figure 3 for an example. Note that the union…
  • Cited by 40 (12 self) – Add To MetaCart
  • shape-shifting  
  • by Josh Berdine, Byron Cook, Dino Distefano, Peter W. O’hearn
  • … can be used to construct a finite number of relations which, if each is well-founded, implies…
  • Add To MetaCart
  • Subscription Information  
  • by Volume Bimonthly Full, Dov M. Gabbay, Hans Jurgen Ohlbach, Jon Barwise, Wilfrid Hodges, Hans Kamp, Robert Kowalski, Ewa Orlowska, Amir Pnueli, Vaughan Pratt, Saharon Shelah, Johan Van Benthem
  • …. Berghammer A Collective Extension of Relational Grammar M. Böttner On the Union of Well-Founded Relations H…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB