The computability path ordering
- Blanqui, F.
- Jouannaud, J.-P.
- Rubio, A.
Aldizkaria:
Logical Methods in Computer Science
ISSN: 1860-5974
Argitalpen urtea: 2015
Alea: 11
Zenbakia: 4
Mota: Artikulua