Open AccessComplete First-Order Axiomatization of Finite or Infinite M-extended Trees
Author(s) -
Khalil Djelloul,
Thi-Bich-Hanh Dao
Publication year - 2006
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - disjoint sets , mathematics , combinatorics , order (exchange) , tree (set theory) , function (biology) , finite set , discrete mathematics , domain (mathematical analysis) , set (abstract data type) , mathematical analysis , computer science , finance , economics , evolutionary biology , biology , programming language