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 1986
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
1987
1986
Contents
1
Journal Articles
1985
Toggle side column
Publications in 1986
Journal Articles
Franz Baader
The Theory of Idempotent Semigroups is of Unification Type Zero
J. Automated Reasoning, 2:283-286, 1986
Details
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
Browse properties