Unification in Non-Classical Logics, {UNCL} 2002, {ICALP} 2002 Satellite Workshop, M{'{a}}laga, Spain, July 12-13, 2002

uncategorised
Published

1 January 2002

Links

 

Abstract

Citation

Please, cite this work as:

[EO02] P. Eklund and M. Ojeda-Aciego, ed. Unification in Non-Classical Logics, UNCL 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002. Vol. 66. Electronic Notes in Theoretical Computer Science 5. Elsevier, 2002. URL: https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/66/issue/5.

@Proceedings{Eklund2002b,
     title = {Unification in Non-Classical Logics, {UNCL} 2002, {ICALP} 2002 Satellite Workshop, M{'{a}}laga, Spain, July 12-13, 2002},
     year = {2002},
     editor = {Patrik Eklund and Manuel Ojeda-Aciego},
     number = {5},
     publisher = {Elsevier},
     series = {Electronic Notes in Theoretical Computer Science},
     volume = {66},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     biburl = {https://dblp.org/rec/conf/icalp/2002uncl.bib},
     timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
     url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/66/issue/5},
}