机构:
Univ Buenos Aires, Fac Ciencias Exactas & Nat, Dept Matemat, RA-1428 Buenos Aires, DF, ArgentinaUniv Buenos Aires, Fac Ciencias Exactas & Nat, Dept Matemat, RA-1428 Buenos Aires, DF, Argentina
Petrovich, A
MODELS, ALGEBRAS, AND PROOFS,
1999,
203
: 315
-
333
机构:
Fed Univ Paraiba UFPB, Dept Exact Sci DCE, BR-58297000 Rio Tinto, PB, BrazilFed Univ Paraiba UFPB, Dept Exact Sci DCE, BR-58297000 Rio Tinto, PB, Brazil
da Costa, Claudilene Gomes
Bedregal, Benjamin Callejas
论文数: 0引用数: 0
h-index: 0
机构:
Univ Fed Rio Grande do Norte, DIMAp, Grp Log Language Informat Theory & Applicat LoLIT, BR-59072970 Natal, RN, BrazilFed Univ Paraiba UFPB, Dept Exact Sci DCE, BR-58297000 Rio Tinto, PB, Brazil
Bedregal, Benjamin Callejas
Doria Neto, Adriao Duarte
论文数: 0引用数: 0
h-index: 0
机构:
Univ Fed Rio Grande do Norte, Dept Comp Engn & Automat DCA, BR-59090530 Natal, RN, BrazilFed Univ Paraiba UFPB, Dept Exact Sci DCE, BR-58297000 Rio Tinto, PB, Brazil