Searching for "Subsumption-oriented Push-Down Automata." – sorted by Relevance.
-
Subsumption-oriented Push-Down Automata
- Subsumption--oriented Push--Down Automata ? F. Barth'elemy and E. Villemonte de la Clergerie
- Add To MetaCart
-
How to build quickly an efficient implementation of the domain Prop with DyALog.
- be described on other domains than the Herbrand domain with the help of Subsumption--oriented Push-Down
- Add To MetaCart

