"Complete First-Order Axiomatization of the Construction of Trees On an ..."

Khalil Djelloul (2005)

Details and statistics

DOI:

access: unavailable

type: Conference or Workshop Paper

metadata version: 2006-02-15