A modular order-sorted equational generalization algorithm (English)
- New search for: Alpuente, María
- New search for: Escobar, Santiago
- New search for: Espert, Javier
- New search for: Meseguer, José
- New search for: Alpuente, María
- New search for: Escobar, Santiago
- New search for: Espert, Javier
- New search for: Meseguer, José
In:
Information and Computation
;
235
;
98-136
;
2014
-
ISSN:
- Article (Journal) / Electronic Resource
-
Title:A modular order-sorted equational generalization algorithm
-
Contributors:Alpuente, María ( author ) / Escobar, Santiago ( author ) / Espert, Javier ( author ) / Meseguer, José ( author )
-
Published in:Information and Computation ; 235 ; 98-136
-
Publisher:
- New search for: Elsevier Inc.
-
Publication date:2014-01-01
-
Size:39 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Source:
Table of contents – Volume 235
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Functional and (Constraint) Logic ProgrammingEscobar, Santiago / Falaschi, Moreno et al. | 2014
- 3
-
A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocationMontenegro, Manuel / Peña, Ricardo / Segura, Clara et al. | 2014
- 36
-
Safe typing of functional logic programs with opaque patterns and local bindingsLópez-Fraguas, Francisco J. / Martin-Martin, Enrique / Rodríguez-Hortalá, Juan et al. | 2014
- 70
-
Fast offline partial evaluation of logic programsLeuschel, Michael / Vidal, Germán et al. | 2014
- 98
-
A modular order-sorted equational generalization algorithmAlpuente, María / Escobar, Santiago / Espert, Javier / Meseguer, José et al. | 2014
- i
-
Editorial Board| 2014