Preface

Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow

Research output: Contribution to journal › Editorial

2 Scopus citations

Original language	English
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	816 LNCS
State	Published - 1994
Event	1st International Workshop on Higher-Order Algebra,Logic and Term Rewriting, HOA 1993 - Amsterdam, Netherlands Duration: 23 Sep 1993 → 24 Sep 1993

Cite this

@article{551eba6d547046a2a2dc1b267b0dc577,

title = "Preface",

author = "Jan Heering and Karl Meinke and Bernhard M{\"o}ller and Tobias Nipkow",

year = "1994",

language = "English",

volume = "816 LNCS",

journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

note = "1st International Workshop on Higher-Order Algebra,Logic and Term Rewriting, HOA 1993 ; Conference date: 23-09-1993 Through 24-09-1993",

}

TY - JOUR

T1 - Preface

AU - Heering, Jan

AU - Meinke, Karl

AU - Möller, Bernhard

AU - Nipkow, Tobias

PY - 1994

Y1 - 1994

UR - http://www.scopus.com/inward/record.url?scp=0346084250&partnerID=8YFLogxK

M3 - Editorial

AN - SCOPUS:0346084250

SN - 0302-9743

VL - 816 LNCS

JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

T2 - 1st International Workshop on Higher-Order Algebra,Logic and Term Rewriting, HOA 1993

Y2 - 23 September 1993 through 24 September 1993

ER -