Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
36785 Publications
2020 | Journal Article | LibreCat-ID: 15025
Multi-Oracle Coevolutionary Learning of Requirements Specifications from Examples in On-The-Fly Markets
M.D. Wever, L. van Rooijen, H. Hamann, Evolutionary Computation 28 (2020) 165–193.
LibreCat
| Files available
| DOI
M.D. Wever, L. van Rooijen, H. Hamann, Evolutionary Computation 28 (2020) 165–193.
2020 | Conference Paper | LibreCat-ID: 15163
Solving piezoelectric inverse problems using Algorithmic Differentiation
N. Feldmann, V. Schulze, B. Jurgelucks, B. Henning, in: Fortschritte Der Akustik - DAGA 2020, 2020, pp. 1125–1128.
LibreCat
N. Feldmann, V. Schulze, B. Jurgelucks, B. Henning, in: Fortschritte Der Akustik - DAGA 2020, 2020, pp. 1125–1128.
2020 | Conference Paper | LibreCat-ID: 15169
A Bounding Box Overlay for Competitive Routing in Hybrid Communication Networks
J. Castenow, C. Kolb, C. Scheideler, in: Proceedings of the 21st International Conference on Distributed Computing and Networking (ICDCN), ACM, n.d.
LibreCat
J. Castenow, C. Kolb, C. Scheideler, in: Proceedings of the 21st International Conference on Distributed Computing and Networking (ICDCN), ACM, n.d.
2020 | Conference Abstract | LibreCat-ID: 15210
Nudging in Judging- Differences in Online Rating Behavior for Utilitarian and Hedonic Service Aspects
J. Seutter, J. Neumann, D. Kundisch, in: Tagungsband Der 15. Internationalen Tagung Wirtschaftsinformatik 2020 (WI), 2020.
LibreCat
| Files available
J. Seutter, J. Neumann, D. Kundisch, in: Tagungsband Der 15. Internationalen Tagung Wirtschaftsinformatik 2020 (WI), 2020.
2020 | Conference Abstract | LibreCat-ID: 15211
Visualize different: Towards researching the fit between taxonomy visualizations and taxonomy tasks
D. Szopinski, T. Schoormann, D. Kundisch, in: Tagungsband Der 15. Internationalen Tagung Wirtschaftsinformatik 2020 (WI), 2020.
LibreCat
| Files available
D. Szopinski, T. Schoormann, D. Kundisch, in: Tagungsband Der 15. Internationalen Tagung Wirtschaftsinformatik 2020 (WI), 2020.
2020 | Conference Abstract | LibreCat-ID: 15225
You Write What You Are - Exploring the Relationship between Online Reviewers' Personality Traits and Their Reviewing Behavior
M. Poniatowski, J. Neumann, in: Tagungsband Der 15. Internationalen Tagung Wirtschaftsinformatik 2020 (WI), 2020.
LibreCat
| Files available
M. Poniatowski, J. Neumann, in: Tagungsband Der 15. Internationalen Tagung Wirtschaftsinformatik 2020 (WI), 2020.
2020 | Conference Paper | LibreCat-ID: 15256
What Reviews in Local Online Labour Markets Reveal about the Performance of Multi-Service Providers
J. Kersting, M. Geierhos, in: Proceedings of the 9th International Conference on Pattern Recognition Applications and Methods, SCITEPRESS, Setúbal, Portugal, 2020, pp. 263--272.
LibreCat
| Files available
J. Kersting, M. Geierhos, in: Proceedings of the 9th International Conference on Pattern Recognition Applications and Methods, SCITEPRESS, Setúbal, Portugal, 2020, pp. 263--272.
2020 | Conference Paper | LibreCat-ID: 15264
Determination of Murnaghan constants of plate-shaped polymers under uniaxial tensile load
S. Johannesmann, S. Becker, M. Webersen, B. Henning, in: SMSI 2020 - Measurement Science, 2020.
LibreCat
| DOI
S. Johannesmann, S. Becker, M. Webersen, B. Henning, in: SMSI 2020 - Measurement Science, 2020.
2020 | Journal Article | LibreCat-ID: 15266
Integrated Model-driven Development of Self-adaptive User Interfaces
E. Yigitbas, I. Jovanovikj, K. Biermeier, S. Sauer, G. Engels, International Journal on Software and Systems Modeling (SoSyM) (2020).
LibreCat
| Download (ext.)
E. Yigitbas, I. Jovanovikj, K. Biermeier, S. Sauer, G. Engels, International Journal on Software and Systems Modeling (SoSyM) (2020).
2020 | Book Chapter | LibreCat-ID: 15267
On the Development of Context-aware Augmented Reality Applications
E. Yigitbas, I. Jovanovikj, S. Sauer, G. Engels, in: Handling Security, Usability, User Experience and Reliability in User-Centered Development Processes - IFIP WG 13.2/13.5, Springer, LNCS, 2020.
LibreCat
E. Yigitbas, I. Jovanovikj, S. Sauer, G. Engels, in: Handling Security, Usability, User Experience and Reliability in User-Centered Development Processes - IFIP WG 13.2/13.5, Springer, LNCS, 2020.
2020 | Journal Article | LibreCat-ID: 16095
Die „Logik“ der Überzeugungskraft
D. Krimphove, Rechtstheorie 50 (2020) 107–113.
LibreCat
D. Krimphove, Rechtstheorie 50 (2020) 107–113.
2020 | Journal Article | LibreCat-ID: 16100
National culture and incentives: Are incentive practices always good?
N.R. Prince, J. Bruce Prince, R. Kabst, Journal of World Business 55 (2020).
LibreCat
| DOI
N.R. Prince, J. Bruce Prince, R. Kabst, Journal of World Business 55 (2020).
2020 | Conference Paper | LibreCat-ID: 16116
How to Build Trust on Peer-to-Peer Platforms: An Investigation of the Antecedents of Peer and Platform Trust
M. Purrmann, N. Wünderlich, in: Proceedings of the 2020 AMA Winter Academic Conference, 2020.
LibreCat
M. Purrmann, N. Wünderlich, in: Proceedings of the 2020 AMA Winter Academic Conference, 2020.
2020 | Journal Article | LibreCat-ID: 16197 | 
Nonlinear Wavefront Control by Geometric-Phase Dielectric Metasurfaces: Influence of Mode Field and Rotational Symmetry
B. Liu, B. Sain, B. Reineke, R. Zhao, C. Meier, L. Huang, Y. Jiang, T. Zentgraf, Advanced Optical Materials 8 (2020).
LibreCat
| Files available
| DOI
| Download (ext.)
B. Liu, B. Sain, B. Reineke, R. Zhao, C. Meier, L. Huang, Y. Jiang, T. Zentgraf, Advanced Optical Materials 8 (2020).
2020 | Conference Abstract | LibreCat-ID: 16203
Beschreibung der Rektifikation viskoser Systeme mit Hydrodynamischen Analogien
L. Bolenz, S. Gutperl, D. Toye, S. Scholl, E. Kenig, in: 2020.
LibreCat
L. Bolenz, S. Gutperl, D. Toye, S. Scholl, E. Kenig, in: 2020.
2020 | Conference Abstract | LibreCat-ID: 16204
Simulation und Bewertung eines Anlagenkonzepts für Trennleistungsmessungen mit nicht-verdampfenden Komponenten
S. Gutperl, L. Bolenz, F. Kriese, K. Jasch, E. Kenig, S. Scholl, in: 2020.
LibreCat
S. Gutperl, L. Bolenz, F. Kriese, K. Jasch, E. Kenig, S. Scholl, in: 2020.
2020 | Conference Abstract | LibreCat-ID: 16207
Stofftransportmessung am ruhenden und bewegten Einzeltropfen
J. Heine, C. Wecker, E. Kenig, H.-J. Bart, in: Jahrestreffen der ProcessNet-Fachgruppe Extraktion, Berchtesgaden, 2020.
LibreCat
J. Heine, C. Wecker, E. Kenig, H.-J. Bart, in: Jahrestreffen der ProcessNet-Fachgruppe Extraktion, Berchtesgaden, 2020.
2020 | Conference Abstract | LibreCat-ID: 16208
CFD-basierte Untersuchung stofftransportinduzierter Marangoni-konvektion in Flüssig-Flüssig-Systemen
C. Wecker, A. Schulz, J. Heine, H.-J. Bart, E. Kenig, in: Jahrestreffen der ProcessNet-Fachgruppe Extraktion, Berchtesgaden, 2020.
LibreCat
C. Wecker, A. Schulz, J. Heine, H.-J. Bart, E. Kenig, in: Jahrestreffen der ProcessNet-Fachgruppe Extraktion, Berchtesgaden, 2020.
2020 | Conference Paper | LibreCat-ID: 16213
A Hybrid Synthesis Methodology for Approximate Circuits
M. Awais, H. Ghasemzadeh Mohammadi, M. Platzner, in: Proceedings of the 30th ACM Great Lakes Symposium on VLSI (GLSVLSI) 2020, ACM, 2020, pp. 421–426.
LibreCat
| DOI
M. Awais, H. Ghasemzadeh Mohammadi, M. Platzner, in: Proceedings of the 30th ACM Great Lakes Symposium on VLSI (GLSVLSI) 2020, ACM, 2020, pp. 421–426.
2020 | Conference Paper | LibreCat-ID: 16218
5GOS: Demonstrating multi-domain orchestration of end-to-end virtual RAN services
D. Camps-Mur, F. Canellas, A. Machwe, J. Paracuellos, K. Choumas, D. Giatsios, T. Korakis, H. Razzaghi Kouchaksaraei, in: The 6th IEEE International Conference on Network Softwarization (IEEE NetSoft 2020), n.d.
LibreCat
D. Camps-Mur, F. Canellas, A. Machwe, J. Paracuellos, K. Choumas, D. Giatsios, T. Korakis, H. Razzaghi Kouchaksaraei, in: The 6th IEEE International Conference on Network Softwarization (IEEE NetSoft 2020), n.d.
2020 | Conference Paper | LibreCat-ID: 16219 |
Machine Learning for Dynamic Resource Allocation in Network Function Virtualization
S.B. Schneider, N.P. Satheeschandran, M. Peuster, H. Karl, in: IEEE Conference on Network Softwarization (NetSoft), IEEE, 2020.
LibreCat
| Files available
S.B. Schneider, N.P. Satheeschandran, M. Peuster, H. Karl, in: IEEE Conference on Network Softwarization (NetSoft), IEEE, 2020.
2020 | Conference Paper | LibreCat-ID: 16222
Benchmarking and Profiling 5G Verticals' Applications: An Industrial IoT Use Case
A. Zafeiropoulos, E. Fotopoulou, M. Peuster, S.B. Schneider, P. Gouvas, D. Behnke, M. Müller, P. Bök, P. Trakadas, P. Karkazis, H. Karl, in: IEEE Conference on Network Softwarization (NetSoft), 2020.
LibreCat
A. Zafeiropoulos, E. Fotopoulou, M. Peuster, S.B. Schneider, P. Gouvas, D. Behnke, M. Müller, P. Bök, P. Trakadas, P. Karkazis, H. Karl, in: IEEE Conference on Network Softwarization (NetSoft), 2020.
2020 | Conference Abstract | LibreCat-ID: 16248
Numerische Simulation von Gravidestillationsapparaten mit Metallschäumen
M. Wende, E. Kenig, in: Jahrestreffen Der ProcessNet-Fachgruppen Fluidverfahrenstechnik, Adsorption Und Extraktion, 2020.
LibreCat
M. Wende, E. Kenig, in: Jahrestreffen Der ProcessNet-Fachgruppen Fluidverfahrenstechnik, Adsorption Und Extraktion, 2020.
2020 | Journal Article | LibreCat-ID: 16249 |
Timing in Information Security: An Event Study on the Impact of Information Security Investment Announcements
E. Szubartowicz, G. Schryen, Journal of Information System Security 16 (2020) 3–31.
LibreCat
| Files available
E. Szubartowicz, G. Schryen, Journal of Information System Security 16 (2020) 3–31.
2020 | Journal Article | LibreCat-ID: 16273
Gender, competitiveness, and task difficulty: Evidence from the field
B. Hoyer, T. van Huizen, L. Keijzer, S. Rezaei, S. Rosenkranz, B. Westbrock, Labour Economics (2020).
LibreCat
| DOI
B. Hoyer, T. van Huizen, L. Keijzer, S. Rezaei, S. Rosenkranz, B. Westbrock, Labour Economics (2020).
2020 | Conference Paper | LibreCat-ID: 16274
Validating Test Case Migration via Mutation Analysis
I. Jovanovikj, A. Nagaraj, E. Yigitbas, A. Anjorin, S. Sauer, G. Engels, in: Proceedings of the 1st IEEE/ACM International Conference on Automation of Software Test AST, ACM, 2020, pp. 31–40.
LibreCat
I. Jovanovikj, A. Nagaraj, E. Yigitbas, A. Anjorin, S. Sauer, G. Engels, in: Proceedings of the 1st IEEE/ACM International Conference on Automation of Software Test AST, ACM, 2020, pp. 31–40.
2020 | Journal Article | LibreCat-ID: 16278
A UAV-based moving 5G RAN for massive connectivity of mobile users and IoT devices
N. Nomikos, E.T. Michailidis, P. Trakadas, D. Vouyioukas, H. Karl, J. Martrat, T. Zahariadis, K. Papadopoulos, S. Voliotis, Vehicular Communications (2020).
LibreCat
| DOI
N. Nomikos, E.T. Michailidis, P. Trakadas, D. Vouyioukas, H. Karl, J. Martrat, T. Zahariadis, K. Papadopoulos, S. Voliotis, Vehicular Communications (2020).
2020 | Journal Article | LibreCat-ID: 16280
Multi-Armed-Bandit-Based Spectrum Scheduling Algorithms in Wireless Networks: A Survey
F. Li, D. Yu, H. Yang, J. Yu, H. Karl, X. Cheng, IEEE Wireless Communications (2020) 24–30.
LibreCat
| DOI
F. Li, D. Yu, H. Yang, J. Yu, H. Karl, X. Cheng, IEEE Wireless Communications (2020) 24–30.
2020 | Conference Paper | LibreCat-ID: 16285 |
Designing City Center Area Recommendation Systems
P. zur Heiden, C.I. Berendes, D. Beverungen, in: Proceedings of the 15th International Conference on Wirtschaftsinformatik, Potsdam, 2020.
LibreCat
| Files available
| DOI
| Download (ext.)
P. zur Heiden, C.I. Berendes, D. Beverungen, in: Proceedings of the 15th International Conference on Wirtschaftsinformatik, Potsdam, 2020.
2020 | Journal Article | LibreCat-ID: 16288
Data-driven approximation of the Koopman generator: Model reduction, system identification, and control
S. Klus, F. Nüske, S. Peitz, J.-H. Niemann, C. Clementi, C. Schütte, Physica D: Nonlinear Phenomena 406 (2020).
LibreCat
| DOI
S. Klus, F. Nüske, S. Peitz, J.-H. Niemann, C. Clementi, C. Schütte, Physica D: Nonlinear Phenomena 406 (2020).
2020 | Book Chapter | LibreCat-ID: 16289
Feedback Control of Nonlinear PDEs Using Data-Efficient Reduced Order Models Based on the Koopman Operator
S. Peitz, S. Klus, in: Lecture Notes in Control and Information Sciences, Springer, Cham, 2020, pp. 257–282.
LibreCat
| DOI
S. Peitz, S. Klus, in: Lecture Notes in Control and Information Sciences, Springer, Cham, 2020, pp. 257–282.
2020 | Journal Article | LibreCat-ID: 16290 |
Deep model predictive flow control with limited sensor data and online learning
K. Bieker, S. Peitz, S.L. Brunton, J.N. Kutz, M. Dellnitz, Theoretical and Computational Fluid Dynamics 34 (2020) 577–591.
LibreCat
| DOI
| Download (ext.)
K. Bieker, S. Peitz, S.L. Brunton, J.N. Kutz, M. Dellnitz, Theoretical and Computational Fluid Dynamics 34 (2020) 577–591.
2020 | Journal Article | LibreCat-ID: 16299
Gathering Anonymous, Oblivious Robots on a Grid
J. Castenow, M. Fischer, J. Harbig, D. Jung, F. Meyer auf der Heide, Theoretical Computer Science 815 (2020) 289–309.
LibreCat
| DOI
J. Castenow, M. Fischer, J. Harbig, D. Jung, F. Meyer auf der Heide, Theoretical Computer Science 815 (2020) 289–309.
2020 | Conference Paper | LibreCat-ID: 16300
Transformation of Actors’ Roles in Service Systems: A Multi-Level Analysis
V. Wolf, C. Bartelheimer, in: 16th International Research Conference in Service Management, 2020.
LibreCat
V. Wolf, C. Bartelheimer, in: 16th International Research Conference in Service Management, 2020.
2020 | Conference Abstract | LibreCat-ID: 16307
Numerische Untersuchungen des Stofftransports in Flüssig-Flüssig-Systemen unter Berücksichtigung der Marangonikonvektion
C. Wecker, A. Hoppe, A. Schulz, J. Heine, H.-J. Bart, E. Kenig, in: Jahrestreffen der ProcessNet-Fachgruppe Wärme- und Stofftransport, Erfurt, 2020.
LibreCat
C. Wecker, A. Hoppe, A. Schulz, J. Heine, H.-J. Bart, E. Kenig, in: Jahrestreffen der ProcessNet-Fachgruppe Wärme- und Stofftransport, Erfurt, 2020.
2020 | Conference Abstract | LibreCat-ID: 16308
Ein PLIC-basierter Ansatz zur Erfassung des Stoffübergangs an bewegten Phasengrenzflächen
A. Schulz, C. Wecker, E. Kenig, in: Jahrestreffen der ProcessNet-Fachgruppe Wärme- und Stofftransport, Erfurt, 2020.
LibreCat
A. Schulz, C. Wecker, E. Kenig, in: Jahrestreffen der ProcessNet-Fachgruppe Wärme- und Stofftransport, Erfurt, 2020.
2020 | Journal Article | LibreCat-ID: 16309
Data-Driven Model Predictive Control using Interpolated Koopman Generators
S. Peitz, S.E. Otto, C.W. Rowley, SIAM Journal on Applied Dynamical Systems 19 (2020) 2162–2193.
LibreCat
| DOI
| Download (ext.)
S. Peitz, S.E. Otto, C.W. Rowley, SIAM Journal on Applied Dynamical Systems 19 (2020) 2162–2193.
2020 | Journal Article | LibreCat-ID: 16311
Electronic Structure of the Hieber Anion [Fe(CO)3(NO)]− Revisited by X-ray Emission and Absorption Spectroscopy
L. Burkhardt, Y. Vukadinovic, M. Nowakowski, A. Kalinko, J. Rudolph, P.-A. Carlsson, C.R. Jacob, M. Bauer, Inorganic Chemistry (2020) 3551–3561.
LibreCat
| DOI
L. Burkhardt, Y. Vukadinovic, M. Nowakowski, A. Kalinko, J. Rudolph, P.-A. Carlsson, C.R. Jacob, M. Bauer, Inorganic Chemistry (2020) 3551–3561.
2020 | Journal Article | LibreCat-ID: 16334
Matching Strategies of Heterogeneous Agents under Incomplete Information in a University Clearinghouse
B. Hoyer, N. Stroh-Maraun, Games and Economic Behavior 121 (2020) 453–481.
LibreCat
| DOI
B. Hoyer, N. Stroh-Maraun, Games and Economic Behavior 121 (2020) 453–481.
2020 | Conference Paper | LibreCat-ID: 16346
Convex Hull Formation for Programmable Matter
J.J. Daymude, R. Gmyr, K. Hinnenthal, I. Kostitsyna, C. Scheideler, A.W. Richa, in: Proceedings of the 21st International Conference on Distributed Computing and Networking, 2020.
LibreCat
| DOI
J.J. Daymude, R. Gmyr, K. Hinnenthal, I. Kostitsyna, C. Scheideler, A.W. Richa, in: Proceedings of the 21st International Conference on Distributed Computing and Networking, 2020.
2020 | Conference Paper | LibreCat-ID: 16363
Enabling XCSF to Cope with Dynamic Environments via an Adaptive Error Threshold
T. Hansmeier, P. Kaufmann, M. Platzner, in: GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion, Association for Computing Machinery (ACM), New York, NY, United States, 2020, pp. 125–126.
LibreCat
| DOI
T. Hansmeier, P. Kaufmann, M. Platzner, in: GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion, Association for Computing Machinery (ACM), New York, NY, United States, 2020, pp. 125–126.
2020 | Conference Paper | LibreCat-ID: 16373
Integrating Haptic Signals with V2X-based Safety Systems for Vulnerable Road Users
M.-C.H. Oczko, L. Stratmann, M. Franke, J. Heinovski, D.S. Buse, F. Klingler, F. Dressler, in: 2020 International Conference on Computing, Networking and Communications (ICNC), 2020.
LibreCat
| DOI
M.-C.H. Oczko, L. Stratmann, M. Franke, J. Heinovski, D.S. Buse, F. Klingler, F. Dressler, in: 2020 International Conference on Computing, Networking and Communications (ICNC), 2020.
2020 | Conference Paper | LibreCat-ID: 16400
Cloud-Native Threat Detection and Containment for Smart Manufacturing
M. Müller, D. Behnke, P.-B. Bök, S.B. Schneider, M. Peuster, H. Karl, in: IEEE Conference on Network Softwarization (NetSoft) Demo Track, IEEE, Ghent, Belgium, 2020.
LibreCat
M. Müller, D. Behnke, P.-B. Bök, S.B. Schneider, M. Peuster, H. Karl, in: IEEE Conference on Network Softwarization (NetSoft) Demo Track, IEEE, Ghent, Belgium, 2020.
2020 | Conference Paper | LibreCat-ID: 13868
Approximating Weighted Completion Time for Order Scheduling with Setup Times
S. Pukrop, A. Mäcker, F. Meyer auf der Heide, in: Proceedings of the 46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), 2020.
LibreCat
S. Pukrop, A. Mäcker, F. Meyer auf der Heide, in: Proceedings of the 46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), 2020.
2020 | Book Chapter | LibreCat-ID: 13108
Rekonstruktion diagrammatischen Schließens beim Erlernen der Subtraktion negativer Zahlen. Vergleich zweier methodischer Zugänge
J. Schumacher, S. Rezat, in: G. Kadunz (Ed.), Zeichen und Sprache im Mathematikunterricht, Springer, 2020.
LibreCat
| DOI
J. Schumacher, S. Rezat, in: G. Kadunz (Ed.), Zeichen und Sprache im Mathematikunterricht, Springer, 2020.
2020 | Journal Article | LibreCat-ID: 10330
Visual Analysis of Argumentation in Essays
D. Kiesel, P. Riehmann, H. Wachsmuth, B. Stein, B. Fröhlich, IEEE Transactions of Visualization & Computer Graphics 27 (n.d.) 1139–1148.
LibreCat
| Download (ext.)
D. Kiesel, P. Riehmann, H. Wachsmuth, B. Stein, B. Fröhlich, IEEE Transactions of Visualization & Computer Graphics 27 (n.d.) 1139–1148.
2020 | Conference Paper | LibreCat-ID: 13584
Criteria as a prelude for guiding taxonomy evaluation
D. Szopinski, T. Schoormann, D. Kundisch, in: Proceedings of the 53rd Hawaii International Conference on System Sciences (HICSS), 2020.
LibreCat
| Files available
D. Szopinski, T. Schoormann, D. Kundisch, in: Proceedings of the 53rd Hawaii International Conference on System Sciences (HICSS), 2020.
2020 | Working Paper | LibreCat-ID: 23568 |
Network formation with NIMBY constraints
L. Block, Network Formation with NIMBY Constraints, 2020.
LibreCat
| Files available
| Download (ext.)
L. Block, Network Formation with NIMBY Constraints, 2020.
2020 | Journal Article | LibreCat-ID: 24563
Time efficient laser modification of steel surfaces for advanced bonding in hybrid materials
D. Voswinkel, D. Kloidt, O. Grydin, M. Schaper, Production Engineering (2020) 263–270.
LibreCat
| DOI
D. Voswinkel, D. Kloidt, O. Grydin, M. Schaper, Production Engineering (2020) 263–270.
2020 | Book Review | LibreCat-ID: 28689
Malink, Marko/ Vasudevan, Anubav, "The Peripatetic Program in Categorial Logic: Leibniz on Propositional Terms" (The Review of Symbolic Logic 13)
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 145.03014] (2020).
LibreCat
| Files available
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 145.03014] (2020).