---
_id: '15305'
author:
- first_name: Eyke
full_name: Hüllermeier, Eyke
id: '48129'
last_name: Hüllermeier
citation:
ama: 'Hüllermeier E. Fuzzy polynomial and spline interpolation. In: In Proceedings
IMACS Symposium on Systems Analysis and Simulation, Berlin. Gordon and Breach
Publishers; 1995:401-404.'
apa: Hüllermeier, E. (1995). Fuzzy polynomial and spline interpolation. In in
Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin (pp.
401–404). Gordon and Breach Publishers.
bibtex: '@inproceedings{Hüllermeier_1995, title={Fuzzy polynomial and spline interpolation},
booktitle={in Proceedings IMACS Symposium on Systems Analysis and Simulation,
Berlin}, publisher={Gordon and Breach Publishers}, author={Hüllermeier, Eyke},
year={1995}, pages={401–404} }'
chicago: Hüllermeier, Eyke. “Fuzzy Polynomial and Spline Interpolation.” In In
Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin, 401–4.
Gordon and Breach Publishers, 1995.
ieee: E. Hüllermeier, “Fuzzy polynomial and spline interpolation,” in in Proceedings
IMACS Symposium on Systems Analysis and Simulation, Berlin, 1995, pp. 401–404.
mla: Hüllermeier, Eyke. “Fuzzy Polynomial and Spline Interpolation.” In Proceedings
IMACS Symposium on Systems Analysis and Simulation, Berlin, Gordon and Breach
Publishers, 1995, pp. 401–04.
short: 'E. Hüllermeier, in: In Proceedings IMACS Symposium on Systems Analysis and
Simulation, Berlin, Gordon and Breach Publishers, 1995, pp. 401–404.'
date_created: 2019-12-11T16:11:03Z
date_updated: 2022-01-06T06:52:20Z
department:
- _id: '34'
- _id: '7'
- _id: '355'
language:
- iso: eng
page: 401-404
publication: in Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin
publisher: Gordon and Breach Publishers
status: public
title: Fuzzy polynomial and spline interpolation
type: conference
user_id: '49109'
year: '1995'
...
---
_id: '16236'
author:
- first_name: Eyke
full_name: Hüllermeier, Eyke
id: '48129'
last_name: Hüllermeier
citation:
ama: 'Hüllermeier E. Konjunkturzyklen aufgrund von Investitionsinterdependenzen:
Simulation und empirische Überprüfung. In: Flemmig J, ed. Moderne Makroökonomie-Eine
Kritische Bestandsaufnahme. Metropolis; 1995:413-454.'
apa: Hüllermeier, E. (1995). Konjunkturzyklen aufgrund von Investitionsinterdependenzen:
Simulation und empirische Überprüfung. In J. Flemmig (Ed.), Moderne Makroökonomie-Eine
kritische Bestandsaufnahme (pp. 413–454). Metropolis.
bibtex: '@inbook{Hüllermeier_1995, title={Konjunkturzyklen aufgrund von Investitionsinterdependenzen:
Simulation und empirische Überprüfung}, booktitle={Moderne Makroökonomie-Eine
kritische Bestandsaufnahme}, publisher={Metropolis}, author={Hüllermeier, Eyke},
editor={Flemmig, J.Editor}, year={1995}, pages={413–454} }'
chicago: Hüllermeier, Eyke. “Konjunkturzyklen Aufgrund von Investitionsinterdependenzen:
Simulation Und Empirische Überprüfung.” In Moderne Makroökonomie-Eine Kritische
Bestandsaufnahme, edited by J. Flemmig, 413–54. Metropolis, 1995.
ieee: E. Hüllermeier, “Konjunkturzyklen aufgrund von Investitionsinterdependenzen:
Simulation und empirische Überprüfung,” in Moderne Makroökonomie-Eine kritische
Bestandsaufnahme, J. Flemmig, Ed. Metropolis, 1995, pp. 413–454.
mla: Hüllermeier, Eyke. “Konjunkturzyklen Aufgrund von Investitionsinterdependenzen:
Simulation Und Empirische Überprüfung.” Moderne Makroökonomie-Eine Kritische
Bestandsaufnahme, edited by J. Flemmig, Metropolis, 1995, pp. 413–54.
short: 'E. Hüllermeier, in: J. Flemmig (Ed.), Moderne Makroökonomie-Eine Kritische
Bestandsaufnahme, Metropolis, 1995, pp. 413–454.'
date_created: 2020-03-03T17:20:32Z
date_updated: 2022-01-06T06:52:46Z
department:
- _id: '34'
- _id: '7'
- _id: '355'
editor:
- first_name: J.
full_name: Flemmig, J.
last_name: Flemmig
language:
- iso: eng
page: 413-454
publication: Moderne Makroökonomie-Eine kritische Bestandsaufnahme
publisher: Metropolis
status: public
title: 'Konjunkturzyklen aufgrund von Investitionsinterdependenzen: Simulation und
empirische Überprüfung'
type: book_chapter
user_id: '49109'
year: '1995'
...
---
_id: '15296'
author:
- first_name: Eyke
full_name: Hüllermeier, Eyke
id: '48129'
last_name: Hüllermeier
citation:
ama: 'Hüllermeier E. Approximate solution of a linear programming problem using
a modified perceptron-algorithm. In: Zimmermann HJ, ed. In Proceedings EUFIT-94
2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany.
; 1994:195-199.'
apa: Hüllermeier, E. (1994). Approximate solution of a linear programming problem
using a modified perceptron-algorithm. In H. J. Zimmermann (Ed.), in Proceedings
EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen,
Germany (pp. 195–199).
bibtex: '@inproceedings{Hüllermeier_1994, title={Approximate solution of a linear
programming problem using a modified perceptron-algorithm.}, booktitle={in Proceedings
EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen,
Germany}, author={Hüllermeier, Eyke}, editor={Zimmermann, H.J.Editor}, year={1994},
pages={195–199} }'
chicago: Hüllermeier, Eyke. “Approximate Solution of a Linear Programming Problem
Using a Modified Perceptron-Algorithm.” In In Proceedings EUFIT-94 2nd European
Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, edited
by H.J. Zimmermann, 195–99, 1994.
ieee: E. Hüllermeier, “Approximate solution of a linear programming problem using
a modified perceptron-algorithm.,” in in Proceedings EUFIT-94 2nd European
Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1994,
pp. 195–199.
mla: Hüllermeier, Eyke. “Approximate Solution of a Linear Programming Problem Using
a Modified Perceptron-Algorithm.” In Proceedings EUFIT-94 2nd European Congress
on Intelligent Techniques and Soft Computing, Aachen, Germany, edited by H.J.
Zimmermann, 1994, pp. 195–99.
short: 'E. Hüllermeier, in: H.J. Zimmermann (Ed.), In Proceedings EUFIT-94 2nd European
Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1994,
pp. 195–199.'
date_created: 2019-12-11T15:23:29Z
date_updated: 2022-01-06T06:52:20Z
department:
- _id: '34'
- _id: '7'
- _id: '355'
editor:
- first_name: H.J.
full_name: Zimmermann, H.J.
last_name: Zimmermann
language:
- iso: eng
page: 195-199
publication: in Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques
and Soft Computing, Aachen, Germany
status: public
title: Approximate solution of a linear programming problem using a modified perceptron-algorithm.
type: conference
user_id: '49109'
year: '1994'
...
---
_id: '19814'
author:
- first_name: A.
full_name: Flögel, A.
last_name: Flögel
- first_name: H.
full_name: Kleine Büning, H.
last_name: Kleine Büning
- first_name: Theodor
full_name: Lettmann, Theodor
id: '315'
last_name: Lettmann
orcid: 0000-0001-5859-2457
citation:
ama: Flögel A, Kleine Büning H, Lettmann T. On the restricted equivalence for subclasses
of propositional logic. RAIRO - Theoretical Informatics and Applications.
1993:327-340. doi:10.1051/ita/1993270403271
apa: Flögel, A., Kleine Büning, H., & Lettmann, T. (1993). On the restricted
equivalence for subclasses of propositional logic. RAIRO - Theoretical Informatics
and Applications, 327–340. https://doi.org/10.1051/ita/1993270403271
bibtex: '@article{Flögel_Kleine Büning_Lettmann_1993, title={On the restricted equivalence
for subclasses of propositional logic}, DOI={10.1051/ita/1993270403271},
journal={RAIRO - Theoretical Informatics and Applications}, author={Flögel, A.
and Kleine Büning, H. and Lettmann, Theodor}, year={1993}, pages={327–340} }'
chicago: Flögel, A., H. Kleine Büning, and Theodor Lettmann. “On the Restricted
Equivalence for Subclasses of Propositional Logic.” RAIRO - Theoretical Informatics
and Applications, 1993, 327–40. https://doi.org/10.1051/ita/1993270403271.
ieee: A. Flögel, H. Kleine Büning, and T. Lettmann, “On the restricted equivalence
for subclasses of propositional logic,” RAIRO - Theoretical Informatics and
Applications, pp. 327–340, 1993.
mla: Flögel, A., et al. “On the Restricted Equivalence for Subclasses of Propositional
Logic.” RAIRO - Theoretical Informatics and Applications, 1993, pp. 327–40,
doi:10.1051/ita/1993270403271.
short: A. Flögel, H. Kleine Büning, T. Lettmann, RAIRO - Theoretical Informatics
and Applications (1993) 327–340.
date_created: 2020-10-01T08:10:48Z
date_updated: 2022-01-06T06:54:13Z
department:
- _id: '34'
- _id: '355'
- _id: '7'
doi: 10.1051/ita/1993270403271
language:
- iso: eng
page: 327-340
publication: RAIRO - Theoretical Informatics and Applications
publication_identifier:
issn:
- 0988-3754
- 1290-385X
publication_status: published
status: public
title: On the restricted equivalence for subclasses of propositional logic
type: journal_article
user_id: '315'
year: '1993'
...
---
_id: '19822'
author:
- first_name: Bernd I.
full_name: Dahn, Bernd I.
last_name: Dahn
- first_name: Theodor
full_name: Lettmann, Theodor
id: '315'
last_name: Lettmann
orcid: 0000-0001-5859-2457
- first_name: Wolfgang
full_name: Schönfeld, Wolfgang
last_name: Schönfeld
citation:
ama: 'Dahn BI, Lettmann T, Schönfeld W. ILFA Interface Concept. Vol 193.
´Heidelberg: Wissenschaftliche Zentrum der IBM Deutschland ; 1991.'
apa: 'Dahn, B. I., Lettmann, T., & Schönfeld, W. (1991). ILFA Interface Concept
(Vol. 193). ´Heidelberg: Wissenschaftliche Zentrum der IBM Deutschland .'
bibtex: '@book{Dahn_Lettmann_Schönfeld_1991, place={´Heidelberg}, series={IWBS Report},
title={ILFA Interface Concept}, volume={193}, publisher={Wissenschaftliche Zentrum
der IBM Deutschland }, author={Dahn, Bernd I. and Lettmann, Theodor and Schönfeld,
Wolfgang}, year={1991}, collection={IWBS Report} }'
chicago: 'Dahn, Bernd I., Theodor Lettmann, and Wolfgang Schönfeld. ILFA Interface
Concept. Vol. 193. IWBS Report. ´Heidelberg: Wissenschaftliche Zentrum der
IBM Deutschland , 1991.'
ieee: 'B. I. Dahn, T. Lettmann, and W. Schönfeld, ILFA Interface Concept,
vol. 193. ´Heidelberg: Wissenschaftliche Zentrum der IBM Deutschland , 1991.'
mla: Dahn, Bernd I., et al. ILFA Interface Concept. Vol. 193, Wissenschaftliche
Zentrum der IBM Deutschland , 1991.
short: B.I. Dahn, T. Lettmann, W. Schönfeld, ILFA Interface Concept, Wissenschaftliche
Zentrum der IBM Deutschland , ´Heidelberg, 1991.
date_created: 2020-10-01T09:30:28Z
date_updated: 2022-01-06T06:54:13Z
department:
- _id: '34'
- _id: '355'
- _id: '7'
intvolume: ' 193'
language:
- iso: eng
place: ´Heidelberg
publisher: 'Wissenschaftliche Zentrum der IBM Deutschland '
series_title: IWBS Report
status: public
title: ILFA Interface Concept
type: report
user_id: '315'
volume: 193
year: '1991'
...
---
_id: '19818'
author:
- first_name: Hans
full_name: Kleine Büning, Hans
last_name: Kleine Büning
- first_name: Theodor
full_name: Lettmann, Theodor
id: '315'
last_name: Lettmann
orcid: 0000-0001-5859-2457
- first_name: Ernst W.
full_name: Mayr, Ernst W.
last_name: Mayr
citation:
ama: Kleine Büning H, Lettmann T, Mayr EW. Projections of vector addition system
reachability sets are semilinear. Theoretical Computer Science. 1989:343-350.
doi:10.1016/0304-3975(89)90055-8
apa: Kleine Büning, H., Lettmann, T., & Mayr, E. W. (1989). Projections of vector
addition system reachability sets are semilinear. Theoretical Computer Science,
343–350. https://doi.org/10.1016/0304-3975(89)90055-8
bibtex: '@article{Kleine Büning_Lettmann_Mayr_1989, title={Projections of vector
addition system reachability sets are semilinear}, DOI={10.1016/0304-3975(89)90055-8},
journal={Theoretical Computer Science}, author={Kleine Büning, Hans and Lettmann,
Theodor and Mayr, Ernst W.}, year={1989}, pages={343–350} }'
chicago: Kleine Büning, Hans, Theodor Lettmann, and Ernst W. Mayr. “Projections
of Vector Addition System Reachability Sets Are Semilinear.” Theoretical Computer
Science, 1989, 343–50. https://doi.org/10.1016/0304-3975(89)90055-8.
ieee: H. Kleine Büning, T. Lettmann, and E. W. Mayr, “Projections of vector addition
system reachability sets are semilinear,” Theoretical Computer Science,
pp. 343–350, 1989.
mla: Kleine Büning, Hans, et al. “Projections of Vector Addition System Reachability
Sets Are Semilinear.” Theoretical Computer Science, 1989, pp. 343–50, doi:10.1016/0304-3975(89)90055-8.
short: H. Kleine Büning, T. Lettmann, E.W. Mayr, Theoretical Computer Science (1989)
343–350.
date_created: 2020-10-01T08:20:05Z
date_updated: 2022-01-06T06:54:13Z
department:
- _id: '34'
- _id: '355'
- _id: '7'
doi: 10.1016/0304-3975(89)90055-8
language:
- iso: eng
page: 343-350
publication: Theoretical Computer Science
publication_identifier:
issn:
- 0304-3975
publication_status: published
status: public
title: Projections of vector addition system reachability sets are semilinear
type: journal_article
user_id: '315'
year: '1989'
...
---
_id: '19820'
author:
- first_name: Hans
full_name: Kleine Büning, Hans
last_name: Kleine Büning
- first_name: Theodor
full_name: Lettmann, Theodor
id: '315'
last_name: Lettmann
orcid: 0000-0001-5859-2457
citation:
ama: 'Kleine Büning H, Lettmann T. Perspektiven für die Logikprogrammierung. In:
Rahmstorf G, ed. Workshop Wissensrepräsentation in Expertensystemen. Berlin,
Heidelberg; 1988:56-78.'
apa: Kleine Büning, H., & Lettmann, T. (1988). Perspektiven für die Logikprogrammierung.
In G. Rahmstorf (Ed.), Workshop Wissensrepräsentation in Expertensystemen
(pp. 56–78). Berlin, Heidelberg.
bibtex: '@inproceedings{Kleine Büning_Lettmann_1988, place={Berlin, Heidelberg},
title={Perspektiven für die Logikprogrammierung}, booktitle={Workshop Wissensrepräsentation
in Expertensystemen}, author={Kleine Büning, Hans and Lettmann, Theodor}, editor={Rahmstorf,
G.Editor}, year={1988}, pages={56–78} }'
chicago: Kleine Büning, Hans, and Theodor Lettmann. “Perspektiven Für Die Logikprogrammierung.”
In Workshop Wissensrepräsentation in Expertensystemen, edited by G. Rahmstorf,
56–78. Berlin, Heidelberg, 1988.
ieee: H. Kleine Büning and T. Lettmann, “Perspektiven für die Logikprogrammierung,”
in Workshop Wissensrepräsentation in Expertensystemen, 1988, pp. 56–78.
mla: Kleine Büning, Hans, and Theodor Lettmann. “Perspektiven Für Die Logikprogrammierung.”
Workshop Wissensrepräsentation in Expertensystemen, edited by G. Rahmstorf,
1988, pp. 56–78.
short: 'H. Kleine Büning, T. Lettmann, in: G. Rahmstorf (Ed.), Workshop Wissensrepräsentation
in Expertensystemen, Berlin, Heidelberg, 1988, pp. 56–78.'
date_created: 2020-10-01T08:58:58Z
date_updated: 2022-01-06T06:54:13Z
department:
- _id: '34'
- _id: '355'
- _id: '7'
editor:
- first_name: G.
full_name: Rahmstorf, G.
last_name: Rahmstorf
language:
- iso: eng
page: 56-78
place: Berlin, Heidelberg
publication: Workshop Wissensrepräsentation in Expertensystemen
publication_identifier:
isbn:
- '9783540192169'
- '9783642736414'
issn:
- 0343-3005
publication_status: published
status: public
title: Perspektiven für die Logikprogrammierung
type: conference
user_id: '315'
year: '1988'
...
---
_id: '19821'
author:
- first_name: Hans Kleine
full_name: Büning, Hans Kleine
last_name: Büning
- first_name: Theodor
full_name: Lettmann, Theodor
id: '315'
last_name: Lettmann
orcid: 0000-0001-5859-2457
citation:
ama: 'Büning HK, Lettmann T. Representation independent query and update operations
on propositional definite Horn formulas. In: Börger E, ed. Computation Theory
and Logic. Berlin, Heidelberg; 1987:208-223. doi:10.1007/3-540-18170-9_167'
apa: Büning, H. K., & Lettmann, T. (1987). Representation independent query
and update operations on propositional definite Horn formulas. In E. Börger (Ed.),
Computation Theory and Logic (pp. 208–223). Berlin, Heidelberg. https://doi.org/10.1007/3-540-18170-9_167
bibtex: '@inbook{Büning_Lettmann_1987, place={Berlin, Heidelberg}, title={Representation
independent query and update operations on propositional definite Horn formulas},
DOI={10.1007/3-540-18170-9_167},
booktitle={Computation Theory and Logic}, author={Büning, Hans Kleine and Lettmann,
Theodor}, editor={Börger, EgonEditor}, year={1987}, pages={208–223} }'
chicago: Büning, Hans Kleine, and Theodor Lettmann. “Representation Independent
Query and Update Operations on Propositional Definite Horn Formulas.” In Computation
Theory and Logic, edited by Egon Börger, 208–23. Berlin, Heidelberg, 1987.
https://doi.org/10.1007/3-540-18170-9_167.
ieee: H. K. Büning and T. Lettmann, “Representation independent query and update
operations on propositional definite Horn formulas,” in Computation Theory
and Logic, E. Börger, Ed. Berlin, Heidelberg, 1987, pp. 208–223.
mla: Büning, Hans Kleine, and Theodor Lettmann. “Representation Independent Query
and Update Operations on Propositional Definite Horn Formulas.” Computation
Theory and Logic, edited by Egon Börger, 1987, pp. 208–23, doi:10.1007/3-540-18170-9_167.
short: 'H.K. Büning, T. Lettmann, in: E. Börger (Ed.), Computation Theory and Logic,
Berlin, Heidelberg, 1987, pp. 208–223.'
date_created: 2020-10-01T09:08:05Z
date_updated: 2022-01-06T06:54:13Z
department:
- _id: '34'
- _id: '355'
- _id: '7'
doi: 10.1007/3-540-18170-9_167
editor:
- first_name: Egon
full_name: Börger, Egon
last_name: Börger
language:
- iso: eng
page: 208-223
place: Berlin, Heidelberg
publication: Computation Theory and Logic
publication_identifier:
isbn:
- '9783540181705'
- '9783540477952'
issn:
- 0302-9743
- 1611-3349
publication_status: published
status: public
title: Representation independent query and update operations on propositional definite
Horn formulas
type: book_chapter
user_id: '315'
year: '1987'
...
---
_id: '19819'
author:
- first_name: H.
full_name: Kleine Büning, H.
last_name: Kleine Büning
- first_name: Theodor
full_name: Lettmann, Theodor
id: '315'
last_name: Lettmann
orcid: 0000-0001-5859-2457
citation:
ama: 'Kleine Büning H, Lettmann T. Classes of first order formulas under various
satisfiability definitions. In: 8th International Conference on Automated Deduction.
Berlin, Heidelberg; 1986. doi:10.1007/3-540-16780-3_119'
apa: Kleine Büning, H., & Lettmann, T. (1986). Classes of first order formulas
under various satisfiability definitions. In 8th International Conference on
Automated Deduction. Berlin, Heidelberg. https://doi.org/10.1007/3-540-16780-3_119
bibtex: '@inbook{Kleine Büning_Lettmann_1986, place={Berlin, Heidelberg}, title={Classes
of first order formulas under various satisfiability definitions}, DOI={10.1007/3-540-16780-3_119},
booktitle={8th International Conference on Automated Deduction}, author={Kleine
Büning, H. and Lettmann, Theodor}, year={1986} }'
chicago: Kleine Büning, H., and Theodor Lettmann. “Classes of First Order Formulas
under Various Satisfiability Definitions.” In 8th International Conference
on Automated Deduction. Berlin, Heidelberg, 1986. https://doi.org/10.1007/3-540-16780-3_119.
ieee: H. Kleine Büning and T. Lettmann, “Classes of first order formulas under various
satisfiability definitions,” in 8th International Conference on Automated Deduction,
Berlin, Heidelberg, 1986.
mla: Kleine Büning, H., and Theodor Lettmann. “Classes of First Order Formulas under
Various Satisfiability Definitions.” 8th International Conference on Automated
Deduction, 1986, doi:10.1007/3-540-16780-3_119.
short: 'H. Kleine Büning, T. Lettmann, in: 8th International Conference on Automated
Deduction, Berlin, Heidelberg, 1986.'
date_created: 2020-10-01T08:56:14Z
date_updated: 2022-01-06T06:54:13Z
department:
- _id: '34'
- _id: '355'
- _id: '7'
doi: 10.1007/3-540-16780-3_119
language:
- iso: eng
place: Berlin, Heidelberg
publication: 8th International Conference on Automated Deduction
publication_identifier:
isbn:
- '9783540167808'
- '9783540398615'
issn:
- 0302-9743
- 1611-3349
publication_status: published
status: public
title: Classes of first order formulas under various satisfiability definitions
type: book_chapter
user_id: '315'
year: '1986'
...