Searching for "Subsumption-oriented Push-Down Automata." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Subsumption-oriented Push-Down Automata
by F. Barthélemy, E. Villemonte de la Clergerie
…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.
by P. Lefèbvre, E. Villemonte de la Clergerie
… be described on other domains than the Herbrand domain with the help of Subsumption--oriented Push-Down…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB