Inclusion Constraints over Non-empty Sets of Trees (1997)

Cached

Download Links

by Martin Müller , Joachim Niehren , Andreas Podelski
Citations:14 - 5 self

Documents Related by Co-Citation

35 Negative Set Constraints With Equality – Witold Charatonik, Leszek Pacholski - 1994
54 Decidability of Systems of Set Constraints with Negative Constraints – Alexander Aiken, Dexter Kozen, Ed Wimmers - 1994
37 Solving systems of set constraints with negated subset relationships – R Gilleron, S Tison, M Tommasi - 1993
31 Set constraints with projections are in NEXPTIME – Witold Charatonik, Leszek Pacholski - 1994
23 Systems of set constraints with negative constraints are NEXPTIME-complete – K Stefánsson - 1994
94 A Finite Presentation Theorem for Approximating Logic Programs – Nevin Heintze, Joxan Jaffar - 1990
97 Set Based Program Analysis – Nevin Heintze - 1992
35 Set Constraints and Set-Based Analysis – Nevin Heintze, Joxan Jaffar - 1994
80 Solving systems of set constraints – A Aiken, E Wimmers - 1992
27 Set Constraints with Intersection – Witold Charatonik, Andreas Podelski
71 Set Constraints are the Monadic Class – Leo Bachmair, Harald Ganzinger, Uwe Waldmann - 1992
27 Solving systems of set constraints using tree automata – R Gilleron, S Tison, M Tommasi - 1993
67 The complexity of set constraints – Er Aiken, Dexter Kozen, Moshe Vardi - 1993
12 The Independence Property of a Class of Set Constraints – Witold Charatonik, Andreas Podelski - 1996
27 A Complete And Recursive Feature Theory – Rolf Backofen, Gert Smolka - 1992
69 Set Constraints: Results, Applications and Future Directions – Alexander Aiken
16 Set constraints and logic programming – Dexter Kozen - 1994
771 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
214 Type Inclusion Constraints and Type Inference – Alexander Aiken, Edward L. Wimmers - 1993