Matches in DBpedia 2015-10 for { <http://sqig.math.ist.utl.pt/pub/CaleiroC/06-CG-manysorted.pdf> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- 06-CG-manysorted.pdf author "Carlos Caleiro, Ricardo Gonçalves".
- 06-CG-manysorted.pdf chapter "On the algebraization of many-sorted logics".
- 06-CG-manysorted.pdf editor "J. Fiadeiro and P.-Y. Schobbens".
- 06-CG-manysorted.pdf isCitedBy Cylindric_algebra.
- 06-CG-manysorted.pdf isbn "978-3-540-71997-7".
- 06-CG-manysorted.pdf pages "21-36".
- 06-CG-manysorted.pdf publisher "Springer".
- 06-CG-manysorted.pdf series "LNCS".
- 06-CG-manysorted.pdf title "Proc. 18th int. conf. on Recent trends in algebraic development techniques".
- 06-CG-manysorted.pdf url 06-CG-manysorted.pdf.
- 06-CG-manysorted.pdf volume "4409".
- 06-CG-manysorted.pdf year "2006".