default search action
Heinrich Herre
Person information
- affiliation: University of Leipzig, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c67]Patryk Burek, Frank Loebe, Ralph Schäfermeier, Alexandr Uciteli, Bartosz Kondracki, Heinrich Herre:
Ontologically Founded Design Patterns for Situation Modeling. ISD 2024 - 2023
- [c66]Patryk Burek, Frank Loebe, Heinrich Herre:
Ontology patterns for function modeling with GFO (short paper). ER (Companion) 2023 - [c65]Bärbel Hanle, Frank Loebe, Patryk Burek, Heinrich Herre:
Balls and Universal Space in GFO. JOWO 2023 - 2022
- [j36]Frank Loebe, Patryk Burek, Heinrich Herre:
GFO: The General Formal Ontology. Appl. Ontology 17(1): 71-106 (2022) - [j35]Juliane Neumann, Alexandr Uciteli, Tim Meschke, Richard Bieck, Stefan Franke, Heinrich Herre, Thomas Neumuth:
Ontology-based surgical workflow recognition and prediction. J. Biomed. Informatics 136: 104240 (2022) - 2021
- [c64]Frank Loebe, Patryk Burek, Heinrich Herre:
Developing GFO 2.0 Further - Initiating the Modules of Space and Material Objects. JOWO 2021 - [c63]Patryk Burek, Frank Loebe, Heinrich Herre:
Overview of GFO 2.0 Functions: An ontology module for representing teleological knowledge. KES 2021: 1021-1030 - [c62]Ralph Schäfermeier, Heinrich Herre, Adrian Paschke:
Ontology Design Patterns for Representing Context in Ontologies Using Aspect Orientation. WOP (Book) 2021: 183-203 - 2020
- [j34]Alexandr Uciteli, Christoph Beger, Toralf Kirsten, Frank A. Meineke, Heinrich Herre:
Ontological representation, classification and data-driven computing of phenotypes. J. Biomed. Semant. 11(1): 15 (2020) - [c61]Patryk Burek, Nico Scherf, Heinrich Herre:
On the Formal Representation and Annotation of Cellular Genealogies. EKAW 2020: 194-203 - [c60]Patryk Burek, Frank Loebe, Heinrich Herre:
Towards GFO 2.0: Architecture, Modules and Applications. FOIS 2020: 32-45 - [c59]Alexandr Uciteli, Christoph Beger, Jonas Wagner, Alexander Kiel, Frank A. Meineke, Sebastian Stäubert, Matthias Löbe, René Hänsel, Judith Schuster, Toralf Kirsten, Heinrich Herre:
Ontological Modelling and Execution of Phenotypic Queries in the Leipzig Health Atlas. GMDS 2020: 66-74 - [c58]Patryk Burek, Heinrich Herre, Nico Scherf:
On the Ontological Foundations of Cellular Development. JOWO 2020 - [c57]Patryk Burek, Heinrich Herre:
A Lightweight Approach to the Multi-perspective Modeling of Processes and Objects. KES 2020: 1053-1062
2010 – 2019
- 2019
- [j33]Alexandr Uciteli, Stefan Kropf, Timo Weiland, Stefanie Meese, Klaus Graef, Sabrina Rohrer, Marc O. Schurr, Wolfram Bartussek, Christoph Goller, Philipp Blohm, Robin Seidel, Christian Bayer, Manuel Kernenbach, Kathrin Pfeiffer, Wolfgang Lauer, Jörg-Uwe Meyer, Michael Witte, Heinrich Herre:
Ontology-based specification and generation of search queries for post-market surveillance. J. Biomed. Semant. 10(1): 9:1-9:13 (2019) - [j32]Patryk Burek, Nico Scherf, Heinrich Herre:
Ontology patterns for the representation of quality changes of cells in time. J. Biomed. Semant. 10(1): 16:1-16:18 (2019) - [j31]Hai Long, Yan Zhu, Lirong Jia, Bo Gao, Jing Liu, Lihong Liu, Heinrich Herre:
An ontological framework for the formalization, organization and usage of TCM-Knowledge. BMC Medical Informatics Decis. Mak. 19-S(2): 79-89 (2019) - [c56]Heinrich Herre:
Towards a New Foundational Ontology of Properties, Attributives and Data. Ontology Makes Sense 2019: 194-210 - [c55]Alexandr Uciteli, Christoph Beger, Stefan Kropf, Heinrich Herre:
Spreadsheet Model Generator (SMOG): A Lightweight Tool for Object-Spreadsheet Mapping. GMDS 2019: 110-117 - [c54]Ringo Baumann, Frank Loebe, Heinrich Herre:
Properties Defined on the Basis of Coincidence in GFO-Space. JOWO 2019 - [c53]Patryk Burek, Nico Scherf, Heinrich Herre:
Foundations of the Cell Tracking Ontology. JOWO 2019 - [c52]Alexandr Uciteli, Christoph Beger, Toralf Kirsten, Frank A. Meineke, Heinrich Herre:
Ontological Modelling and Reasoning of Phenotypes. JOWO 2019 - [c51]Patryk Burek, Nico Scherf, Heinrich Herre:
A pattern-based approach to a cell tracking ontology. KES 2019: 784-793 - [c50]Ralph Schäfermeier, Adrian Paschke, Heinrich Herre:
Ontology Design Patterns for Representing Context in Ontologies using Aspect Orientation. WOP@ISWC 2019: 32-46 - 2018
- [j30]Stefan Kropf, Alexandr Uciteli, Katrin Schierle, Peter Krücken, Kerstin Denecke, Heinrich Herre:
Querying archetype-based EHRs by search ontology-based XPath engineering. J. Biomed. Semant. 9(1): 16:1-16:14 (2018) - [c49]Kais Tahar, Alexandr Uciteli, Philip Röppischer, Heinrich Herre, Sebastian Siemoleit:
Ontology-Guided Markerless Navigation and Situational Awareness for Endoscopic Surgery. GMDS 2018: 83-87 - [p1]Alexandr Uciteli, Christoph Beger, Katja Rillich, Frank A. Meineke, Markus Loeffler, Heinrich Herre:
Ontology-Based Modelling of Web Content: Example Leipzig Health Atlas. Semantic Applications 2018: 111-123 - [e3]Stefano Borgo, Oliver Kutz, Frank Loebe, Fabian Neuhaus, Kemo Adrian, Mihailo Antovic, Valerio Basile, Martin Boeker, Diego Calvanese, Tommaso Caselli, Giorgio Colombo, Roberto Confalonieri, Laura Daniele, Jérôme Euzenat, Antony Galton, Dagmar Gromann, Maria M. Hedblom, Heinrich Herre, Inge Hinterwaldner, Andrea Janes, Ludger Jansen, Kris Krois, Antonio Lieto, Claudio Masolo, Rafael Peñaloza, Daniele Porello, Daniele Paolo Radicioni, Emilio M. Sanfilippo, Daniel Schober, Rossella Stufano, Amanda Vizedom:
Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, Bozen-Bolzano, Italy, September 21-23, 2017. CEUR Workshop Proceedings 2050, CEUR-WS.org 2018 [contents] - 2017
- [j29]Alexandr Uciteli, Juliane Neumann, Kais Tahar, Kutaiba Saleh, Stephan Stucke, Sebastian Faulbrück-Röhr, André Kaeding, Martin Specht, Tobias Schmidt, Thomas Neumuth, Andreas Besting, Dominik Stegemann, Frank Portheine, Heinrich Herre:
Ontology-based specification, identification and analysis of perioperative risks. J. Biomed. Semant. 8(1): 36:1-36:14 (2017) - [j28]Patryk Burek, Frank Loebe, Heinrich Herre:
Towards refactoring the Molecular Function Ontology with a UML profile for function modeling. J. Biomed. Semant. 8(1): 48:1-48:11 (2017) - [c48]Kais Tahar, Jie Xu, Heinrich Herre:
Expert2OWL: A Methodology for Pattern-Based Ontology Development. GMDS 2017: 165-169 - [c47]Christoph Beger, Alexandr Uciteli, Heinrich Herre:
Light-Weighted Automatic Import of Standardized Ontologies into the Content Management System Drupal. GMDS 2017: 170-174 - [c46]Sebastian Siemoleit, Alexandr Uciteli, Richard Bieck, Heinrich Herre:
Processual Reasoning over Sequences of Situations in Endoscopic Surgery. GMDS 2017: 222-226 - [c45]Hai Long, Yan Zhu, Lirong Jia, Junhui Wang, Heinrich Herre:
Outline of the construction and application of a GFO-based TCM diagnoses ontology for syndrome differentiation of psoriasis vulgaris. Healthcom 2017: 1-5 - [c44]Sebastian Siemoleit, Alexandr Uciteli, Richard Bieck, Heinrich Herre:
Ontological Modelling of Situational Awareness in Surgical Interventions. JOWO 2017 - [c43]Alexandr Uciteli, Stefan Kropf, Timo Weiland, Stefanie Meese, Klaus Graef, Sabrina Rohrer, Marc O. Schurr, Wolfram Bartussek, Christoph Goller, Philipp Blohm, Robin Seidel, Christian Bayer, Manuel Kernenbach, Wolfgang Lauer, Jörg-Uwe Meyer, Michael Witte, Heinrich Herre:
Search Ontology Generator (SONG): Ontology-Based Specification and Generation of Search Queries. JOWO 2017 - [c42]Kutaiba Saleh, Stephan Stucke, Alexandr Uciteli, Sebastian Faulbrück-Röhr, Juliane Neumann, Kais Tahar, Danny Ammon, Tobias Schmidt, Thomas Neumuth, Andreas Besting, Frank Portheine, Heinrich Herre, André Kaeding, Martin Specht:
Using Fast Healthcare Interoperability Resources (FHIR) for the Integration of Risk Minimization Systems in Hospitals. MedInfo 2017: 1378 - 2016
- [j27]Patryk Burek, Frank Loebe, Heinrich Herre:
FueL: Representing function structure and function dependencies with a UML profile for function modeling. Appl. Ontology 11(2): 155-203 (2016) - [c41]Ringo Baumann, Frank Loebe, Heinrich Herre:
Towards an Ontology of Space for GFO. FOIS 2016: 53-66 - [c40]Kais Tahar, Michael Schaaf, Franziska Jahn, Christian Kücherer, Barbara Paech, Heinrich Herre, Alfred Winter:
An Approach to Support Collaborative Ontology Construction. MIE 2016: 369-373 - [c39]Stefan Kropf, Alexandr Uciteli, Peter Krücken, Kerstin Denecke, Heinrich Herre:
Querying standardized EHRs by a Search Ontology XML extension (SOX). ODLS 2016: 1-5 - [c38]Sebastian Siemoleit, Heinrich Herre:
A Whiteheadian approach to data and knowledge. ODLS 2016: 1-6 - [c37]Alexandr Uciteli, Juliane Neumann, Kais Tahar, Kutaiba Saleh, Stephan Stucke, Sebastian Faulbrück-Röhr, André Kaeding, Martin Specht, Tobias Schmidt, Thomas Neumuth, Andreas Besting, Frank Portheine, Heinrich Herre:
Risk Identification Ontology (RIO): An ontology for specification and identification of perioperative risks. ODLS 2016: 1-7 - [e2]Frank Loebe, Martin Boeker, Heinrich Herre, Ludger Jansen, Daniel Schober:
Proceedings of the 7th Workshop on Ontologies and Data in Life Sciences, ODLS 2016, organized by the GI Workgroup Ontologies in Biomedicine and Life Sciences (OBML), Halle (Saale), Germany, September 29-30, 2016. CEUR Workshop Proceedings 1692, CEUR-WS.org 2016 [contents] - 2015
- [j26]Alexandr Uciteli, Heinrich Herre:
OntoStudyEdit: a new approach for ontology-based representation and management of metadata in clinical and epidemiological research. J. Biomed. Semant. 6: 41 (2015) - [c36]Patryk Burek, Frank Loebe, Heinrich Herre:
A UML profile for functional modeling applied to the Molecular Function Ontology. ICBO 2015 - 2014
- [j25]Ringo Baumann, Frank Loebe, Heinrich Herre:
Axiomatic theories of the ontology of time in GFO. Appl. Ontology 9(3-4): 171-215 (2014) - [c35]Alexandr Uciteli, Christoph Goller, Patryk Burek, Sebastian Siemoleit, Breno Faria, Halyna Galanzina, Timo Weiland, Doreen Drechsler-Hake, Wolfram Bartussek, Heinrich Herre:
Search Ontology, a new approach towards Semantic Search. GI-Jahrestagung 2014: 667-672 - 2013
- [c34]Nico Scherf, Michael Kunze, Konstantin Thierbach, Thomas Zerjatke, Patryk Burek, Heinrich Herre, Ingmar Glauche, Ingo Roeder:
Assisting the Machine Paradigms for Human-Machine Interaction in Single Cell Tracking. Bildverarbeitung für die Medizin 2013: 116-121 - [c33]Patryk Burek, Heinrich Herre:
Representation, Realization, and Ascription of Functions for Material Entities. GI-Jahrestagung 2013: 1805-1820 - [i2]Heinrich Herre:
Persistence, Change, and the Integration of Objects and Processes in the Framework of the General Formal Ontology. CoRR abs/1311.1632 (2013) - 2012
- [j24]Robert Hoehndorf, Midori A. Harris, Heinrich Herre, Gabriella Rustici, Georgios V. Gkoutos:
Semantic integration of physiology phenotypes with an application to the Cellular Phenotype Ontology. Bioinform. 28(13): 1783-1789 (2012) - [j23]Frank Loebe, Frank Stumpf, Robert Hoehndorf, Heinrich Herre:
Towards improving phenotype representation in OWL. J. Biomed. Semant. 3(S-2): S5 (2012) - [c32]Ringo Baumann, Frank Loebe, Heinrich Herre:
Ontology of Time in GFO. FOIS 2012: 293-306 - 2011
- [j22]Dayana Neumuth, Frank Loebe, Heinrich Herre, Thomas Neumuth:
Modeling surgical processes: A four-level translational approach. Artif. Intell. Medicine 51(3): 147-161 (2011) - [j21]Heinrich Herre, Robert Hoehndorf, Janet Kelso, Frank Loebe, Stefan Schulz:
OBML - Ontologies in Biomedicine and Life Sciences. J. Biomed. Semant. 2(S-4): I1 (2011) - [j20]Alexandr Uciteli, Silvia Groß, Sergej Kireyev, Heinrich Herre:
An ontologically founded architecture for information systems in clinical and epidemiological research. J. Biomed. Semant. 2(S-4): S1 (2011) - [i1]Ringo Baumann, Heinrich Herre:
The Axiomatic Foundation of Space in GFO. CoRR abs/1110.5832 (2011) - 2010
- [j19]Robert Hoehndorf, Anika Oellrich, Michel Dumontier, Janet Kelso, Dietrich Rebholz-Schuhmann, Heinrich Herre:
Relations as patterns: bridging the gap between OBO and OWL. BMC Bioinform. 11: 441 (2010) - [j18]Michael Hartung, Frank Loebe, Heinrich Herre, Erhard Rahm:
Management of evolving semantic grid metadata within a collaborative platform. Inf. Sci. 180(10): 1837-1849 (2010) - [c31]Robert Hoehndorf, Anika Oellrich, Michel Dumontier, Heinrich Herre, Dietrich Rebholz-Schuhmann:
Relational Patterns in OWL and Their Application to OBO. OWLED 2010
2000 – 2009
- 2009
- [j17]Robert Hoehndorf, Joshua Bacher, Michael Backhaus, Sergio E. Gregorio Jr., Frank Loebe, Kay Prüfer, Alexandr Uciteli, Johann Visagie, Heinrich Herre, Janet Kelso:
BOWiki: an ontology-based wiki for annotation of data and integration of knowledge in biology. BMC Bioinform. 10(S-5) (2009) - [j16]Robert Hoehndorf, Janet Kelso, Heinrich Herre:
The ontology of biological sequences. BMC Bioinform. 10: 377 (2009) - [c30]Jürgen Stausberg, Matthias Löbe, Philippe Verplancke, Johannes Drepper, Heinrich Herre, Markus Löffler:
Foundations of a Metadata Repository for Databases of Registers and Trials. MIE 2009: 409-413 - [c29]Robert Hoehndorf, Axel-Cyrille Ngonga Ngomo, Heinrich Herre:
Developing Consistent and Modular Software Models with Ontologies. SoMeT 2009: 399-412 - [c28]Patryk Burek, Heinrich Herre, Frank Loebe:
Ontological Analysis of Functional Decomposition. SoMeT 2009: 428-439 - 2008
- [j15]Robert Hoehndorf, Frank Loebe, Roberto Poli, Heinrich Herre, Janet Kelso:
GFO-Bio: A biological core ontology. Appl. Ontology 3(4): 219-227 (2008) - [c27]Frank Loebe, Heinrich Herre:
Formal Semantics and Ontologies - Towards an Ontological Account of Formal Semantics. FOIS 2008: 49-62 - [c26]Michael Hartung, Frank Loebe, Heinrich Herre, Erhard Rahm:
A Platform for Collaborative Management of Semantic Grid Metadata. IDC 2008: 115-125 - 2007
- [j14]Robert Hoehndorf, Frank Loebe, Janet Kelso, Heinrich Herre:
Representing default knowledge in biomedical ontologies: application to the integration of anatomy and phenotype ontologies. BMC Bioinform. 8 (2007) - [c25]Michael Backhaus, Janet Kelso, Joshua Bacher, Heinrich Herre, Robert Hoehndorf, Frank Loebe, Johann Visagie:
BOWiki - a Collaborative Annotation and Ontology Curation Framework. CKC 2007 - 2006
- [j13]Heinrich Herre, Barbara Heller:
Semantic foundations of medical information systems based on top-level ontologies. Knowl. Based Syst. 19(2): 107-115 (2006) - [c24]Sören Auer, Heinrich Herre:
A Versioning and Evolution Framework for RDF Knowledge Bases. Ershov Memorial Conference 2006: 55-69 - [c23]Sören Auer, Heinrich Herre:
RapidOWL - An Agile Knowledge Engineering Methodology. Ershov Memorial Conference 2006: 424-430 - [c22]Patryk Burek, Robert Hoehndorf, Frank Loebe, Johann Visagie, Heinrich Herre, Janet Kelso:
A top-level ontology of functions and its application in the Open Biomedical Ontologies. ISMB (Supplement of Bioinformatics) 2006: 66-73 - [c21]Robert Hoehndorf, Kay Prüfer, Michael Backhaus, Heinrich Herre, Janet Kelso, Frank Loebe, Johann Visagie:
A Proposal for a Gene Functions Wiki. OTM Workshops (1) 2006: 669-678 - 2005
- [c20]Heinrich Herre, Barbara Heller:
Ontology of Time and Situoids in Medical Conceptual Modeling. AIME 2005: 266-275 - [c19]Heinrich Herre, Frank Loebe:
A Meta-ontological Architecture for Foundational Ontologies. OTM Conferences (2) 2005: 1398-1415 - 2004
- [c18]Barbara Heller, Heinrich Herre, Kristin Lippoldt, Markus Löffler:
Standardized Terminology for Clinical Trial Protocols Based on Top-Level Ontological Categories. CGP 2004: 46-60 - [c17]Barbara Heller, Heinrich Herre, Kristin Lippoldt:
Domain-Specific Concepts and Ontological Reduction within a Data Dictionary Framework. DILS 2004: 47-62 - [c16]Barbara Heller, Heinrich Herre, Kristin Lippoldt:
The Theory of Top-Level Ontological Mappings and Its Application to Clinical Trial Protocols. EKAW 2004: 1-14 - [c15]Giancarlo Guizzardi, Gerd Wagner, Heinrich Herre:
On the Foundations of UML as an Ontology Representation Language. EKAW 2004: 47-62 - 2002
- [c14]Giancarlo Guizzardi, Heinrich Herre, Gerd Wagner:
Towards Ontological Foundations for UML Conceptual Models. OTM 2002: 1100-1117 - [c13]Giancarlo Guizzardi, Heinrich Herre, Gerd Wagner:
On the General Ontological Foundations of Conceptual Modeling. ER 2002: 65-78 - 2001
- [c12]Wolfgang Degen, Barbara Heller, Heinrich Herre, Barry Smith:
GOL: toward an axiomatized upper-level ontology. FOIS 2001: 34-46 - 2000
- [c11]José Júlio Alferes, Heinrich Herre, Luís Moniz Pereira:
Partial Models of Extended Generalized Logic Programs. Computational Logic 2000: 149-163
1990 – 1999
- 1999
- [j12]Joeri Engelfriet, Heinrich Herre:
Stable Generated Models, Partial Temporal Logic and Disjunctive Defaults. J. Log. Program. 41(1): 1-25 (1999) - 1998
- [j11]Joeri Engelfriet, Heinrich Herre, Jan Treur:
Nonmonotonic Reasoning with Multiple Belief Sets. Ann. Math. Artif. Intell. 24(1-4): 225-248 (1998) - 1997
- [j10]Heinrich Herre, Gerd Wagner:
Stable Models Are Generated by a Stabel Chain. J. Log. Program. 30(2): 165-177 (1997) - [c10]Joeri Engelfriet, Heinrich Herre:
Generated Preferred Models and Extensions of Nonmonotonic Systems. ILPS 1997: 85-99 - 1996
- [c9]Heinrich Herre, Gerd Wagner:
Stable Semantics of Temporal Deductive Databases. DDLP 1996: 95-106 - [c8]Joeri Engelfriet, Heinrich Herre, Jan Treur:
Nonmonotonic Reasoning with Multiple Belief Sets. FAPR 1996: 331-344 - [e1]Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister:
Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings. Lecture Notes in Computer Science 1050, Springer 1996, ISBN 3-540-60983-0 [contents] - 1995
- [j9]Heinrich Herre:
Generalized Compactness of Nonmonotonic Inference Operations. J. Appl. Non Class. Logics 5(1): 121-135 (1995) - [c7]Joeri Engelfriet, Heinrich Herre, Jan Treur:
Nonmonotonic Belief State Frames and Reasoning Frames (extended abstract). ECSQARU 1995: 189-196 - 1994
- [c6]Heinrich Herre:
Compactness Properties of Nonmonotonic Inference Operations. JELIA 1994: 19-33 - 1993
- [c5]Heinrich Herre:
Semantical Completeness of Model-Based Diagnosis. EUROVAV 1993: 217-229 - 1992
- [c4]Heinrich Herre, David Pearce:
Disjunctive Logic Programming, Constructivity and Strong Negation. JELIA 1992: 391-410 - 1991
- [j8]Heinrich Herre, Michal Krynicki, Alexander G. Pinus, Jouko A. Väänänen:
The Härtig Quantifier: A Survey. J. Symb. Log. 56(4): 1153-1183 (1991) - [c3]Heinrich Herre:
Non-Monotonic Reasoning For Clause Logic Programming In A General Setting. GWAI 1991: 43-48 - 1990
- [c2]Heinrich Herre:
Semantics of Nonmonotonic Reasoning in Logic Programming. Nonclassical Logics and Information Processing 1990: 104-124 - [c1]Heinrich Herre:
Nonmonotonic Reasoning and Logic Programs. Nonmonotonic and Inductive Logic 1990: 38-58
1980 – 1989
- 1981
- [j7]Heinrich Herre, Helmut Wolter:
Untersuchungen zur Theorie der linearen Ordnung in Logiken mit MäChtigkeitsquantoren. Math. Log. Q. 27(2-6): 73-94 (1981) - 1980
- [j6]Heinrich Herre:
Modelltheoretische Eigenschaften Endlichvalenter Graphen. Math. Log. Q. 26(1-6): 51-58 (1980)
1970 – 1979
- 1979
- [j5]Heinrich Herre, Helmut Wolter:
Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang-Quantor. Math. Log. Q. 25(19-24): 345-358 (1979) - 1978
- [j4]Heinrich Herre, Helmut Wolter:
Entscheidbarkeit der Theorie der Linearen Ordnung in L. Math. Log. Q. 24(1-6): 73-78 (1978) - [j3]Heinrich Herre, Alexander G. Pinus:
Zum Entscheidungsproblem für Theorien in Logiken mit Monadischen Verallgemeinerten Quantoren. Math. Log. Q. 24(19-24): 375-384 (1978) - 1977
- [j2]Heinrich Herre, Helmut Wolter:
Entscheidbarkeit Der Theorie Der Linearen Ordnung In L. Math. Log. Q. 23(18): 273-282 (1977) - 1975
- [j1]Heinrich Herre, Helmut Wolter:
Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren. Math. Log. Q. 21(1): 229-246 (1975)