TU Dresden
/
TU Dresden
/
Informatik
Computer Science
/
ICCL
/
TU Dresden
/
Fakultät Informatik
Faculty of Computer Science
/
International Center For Computational Logic
Account
Log in
Edit tools
Discussion
View source
View history
Internal
Suche
Search
Deutsch
About ICCL
News & Dates
Profile
Research Groups
People
Job Offers
Location and Contact
Study
Courses
Theses
European Master
International Master
Research
Research Areas
Projects
Publications
Cooperation
Offers
Partners
Publications in 1988
From International Center for Computational Logic
Jump to:
navigation
,
search
Publications
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1988
Contents
1
Journal Articles
1987
1986
1985
Toggle side column
Publications in 1988
Journal Articles
Franz Baader, W. Büttner
Unification in Commutative Idempotent Monoids
J. Theoretical Computer Science, 56:345-352, 1988
Details
Franz Baader
A Note on Unification Type Zero
Information Processing Letters, 27:91-93, 1988
Details
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
Browse properties