InforLorV4, Istex, Corpus, indexItem, ISSN.i, 0001-5903

0001-4575 < 0001-5903 < 0001-5954

Facettes :

List of bibliographic references

Number of relevant bibliographic references: 22.
[0-20] [0 - 20][0 - 22][20-21][20-40]**** probable Xml problem ****

Ident.	Authors (with country if any)	Title
000265 (1993)	Thomas Lehmann ; Jacques Loeckx	OBSCURE a specification language for abstract data types
000322 (1990)	Jeremy Dick ; John Kalmus ; Ursula Martin	Automating the Knuth Bendix ordering
000A52 (1995)	Wlodzimierz Drabent	What is failure? An approach to constructive negation
000D50 (1993)	Eddy Bevers ; Johan Lewi	Proving termination of (conditional) rewrite systems
001079 (2011)	Sándor Vágvölgyi	CHAP and rewrite components
001170 (1992)	Joost Engelfriet ; Linda Heyker	Context-free hypergraph grammars have the same term-generating power as attribute grammars
001376 (1986)		Acknowledgement to referees
001409 (1987)	Deepak Kapur ; Paliath Narendran ; Hantao Zhang	On sufficient-completeness and related properties of term rewriting systems
001745 (2012)	Pierre Lescanne ; Matthieu Perrinel	“Backward” coinduction, Nash equilibrium and the rationality of escalation
001898 (1988)	Paliath Narendran ; Friedrich Otto	Elements of finite order for finite weight-reducing and confluent thue systems
001B75