Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
Discrete mathematics and theoretical computer science, 2000, Vol.4 no. 1 (1), p.11-30
2000
Volltextzugriff (PDF)

Trees in Algebra and Programming — CAAP '96, 2005, p.30-43
2005
Volltextzugriff (PDF)

10th International Conference on Automated Deduction, 2005, p.292-307
2005
Volltextzugriff (PDF)

Automated Deduction—CADE-11, 2005, p.193-207
2005
Volltextzugriff (PDF)

Open Access
Combining Unification Algorithms
Journal of symbolic computation, 1993-12, Vol.16 (6), p.597-626
1993
Volltextzugriff (PDF)

Discrete mathematics and theoretical computer science, 2000-01, Vol.4 no. 1
2000
Volltextzugriff (PDF)

Lecture notes in computer science, 2001, p.63-76
2001
Volltextzugriff (PDF)

Open Access
About the theory of tree embedding
TAPSOFT'93: Theory and Practice of Software Development, 2005, p.376-390
2005
Volltextzugriff (PDF)

Automated Deduction — CADE-15, 2006, p.88-102
2006
Volltextzugriff (PDF)

“Syntactic” AC-unification
Constraints in Computational Logics, 2005, p.136-151
2005
Volltextzugriff (PDF)

On n-syntactic equational theories
Algebraic and Logic Programming, 2005, p.446-457
2005
Volltextzugriff (PDF)

Competing for theAC-Unification Race
Journal of automated reasoning, 1993, Vol.11 (2), p.185-212
1993
Volltextzugriff (PDF)

Lecture notes in computer science, 1997, p.267-281
1997
Volltextzugriff (PDF)

Rewriting Techniques and Applications, 1996, p.18-32
1996
Volltextzugriff (PDF)

Journal of symbolic computation, 1989-11, Vol.8 (5), p.449-477
1989
Volltextzugriff (PDF)

[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science, 1990, p.289-299
1990
Volltextzugriff (PDF)

[1988] Proceedings. Third Annual Symposium on Logic in Computer Science, 1988, p.121-130
1988
Volltextzugriff (PDF)

Journal of fluid mechanics, 2018-05, Vol.842, p.163-187
2018
Volltextzugriff (PDF)

Scientific reports, 2018-11, Vol.8 (1), p.17138-14, Article 17138
2018
Volltextzugriff (PDF)




International journal of hygiene and environmental health, 2013-06, Vol.216 (3), p.271-279
2013
Volltextzugriff (PDF)


Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n