# zbMATH — the first resource for mathematics

## Milner, Robin

Compute Distance To:
 Author ID: milner.robin Published as: Milner, Arthur J.; Milner, R.; Milner, Robin Homepage: https://www.cl.cam.ac.uk/archive/rm135/ External Links: MGP · Wikidata · dblp · GND Awards: Turing Award (1991)
 Documents Indexed: 81 Publications since 1968, including 7 Books Biographic References: 4 Publications
all top 5

#### Co-Authors

 54 single-authored 3 Leifer, James J. 3 Parrow, Joachim 3 Walker, David H. 2 Birkedal, Lars 2 Damgaard, Troels Christoffer 2 Glenstrup, Arne John 2 Hennessy, Matthew C. B. 2 Larsen, Kim Guldstrand 2 Moller, Faron 2 Tofte, Mads 1 Adamatzky, Andrew I. 1 Addis, Tom 1 Berger, Martin J. 1 Braunstein, Samuel L. 1 Bundgaard, Mikkel 1 Clark, John A. 1 Gordon, Michael J. C. 1 Harper, Robert 1 Jensen, Ole Høgh 1 Johnson, Colin G. 1 Krivine, Jean 1 Michaelson, Sidney 1 Milne, George J. 1 Partridge, Derek 1 Sangiorgi, Davide 1 Smith, Robert Elliott 1 Stepney, Susan 1 Timmis, Jonathan 1 Troina, Angelo 1 Tyrrell, Andy M. 1 Wadsworth, Christopher P. 1 Wand, Ian 1 Welch, Peter D. 1 Weyhrauch, Richard W.
all top 5

#### Serials

 6 Theoretical Computer Science 5 Information and Computation 3 Journal of the Association for Computing Machinery 3 Journal of Computer and System Sciences 3 MSCS. Mathematical Structures in Computer Science 2 Formal Aspects of Computing 2 Lecture Notes in Computer Science 2 Machine Intelligence 1 Acta Informatica 1 The Computer Journal. Section A / Section B 1 Philosophical Transactions of the Royal Society of London. Ser. A 1 Bulletin of the European Association for Theoretical Computer Science (EATCS) 1 International Journal of Parallel, Emergent and Distributed Systems
all top 5

#### Fields

 80 Computer science (68-XX) 15 Mathematical logic and foundations (03-XX) 6 Category theory; homological algebra (18-XX) 2 General and overarching topics; collections (00-XX) 2 History and biography (01-XX) 2 Combinatorics (05-XX) 2 Biology and other natural sciences (92-XX) 2 Systems theory; control (93-XX) 2 Information and communication theory, circuits (94-XX) 1 General algebraic systems (08-XX)

#### Citations contained in zbMATH Open

66 Publications have been cited 3,940 times in 2,557 Documents Cited by Year
Communication and concurrency. Zbl 0683.68008
Milner, Robin
1989
A calculus of communicating systems. Zbl 0452.68027
Milner, Robin
1980
Algebraic laws for nondeterminism and concurrency. Zbl 0629.68021
Hennessy, Matthew; Milner, Robin
1985
Communicating and mobile systems: The $$\pi$$-calculus. Zbl 0942.68002
Milner, Robin
1999
A calculus of mobile processes. II. Zbl 0752.68037
Milner, Robin; Parrow, Joachim; Walker, David
1992
A calculus of mobile processes. I. Zbl 0752.68036
Milner, Robin; Parrow, Joachim; Walker, David
1992
A theory of type polymorphism in programming. Zbl 0388.68003
Milner, Robin
1978
Calculi for synchrony and asynchrony. Zbl 0512.68026
Milner, Robin
1983
Edinburgh LCF. A mechanized logic of computation. Zbl 0421.68039
Gordon, Michael J.; Milner, Arthur J.; Wadsworth, Christopher P.
1979
Fully abstract models of typed $$\lambda$$-calculi. Zbl 0386.03006
Milner, Robin
1977
Functions as processes. Zbl 0773.03012
Milner, Robin
1992
A complete inference system for a class of regular behaviours. Zbl 0562.68065
Milner, Robin
1984
A complete axiomatisation for observational congruence of finite-state behaviours. Zbl 0688.68050
Milner, Robin
1989
On observing nondeterminism and concurrency. Zbl 0441.68018
Hennessy, Matthew; Milner, Robin
1980
A modal characterisation of observable machine-behaviour. Zbl 0474.68074
Milner, R.
1981
Modal logics for mobile processes. Zbl 0778.68033
Milner, Robin; Parrow, Joachim; Walker, David
1993
Operational and algebraic sementics of concurrent processes. Zbl 0900.68217
Milner, Robin
1990
Deriving bisimulation congruences for reactive systems. Zbl 0999.68141
Leifer, James J.; Milner, Robin
2000
Concurrent processes and their syntax. Zbl 0395.68030
Milne, George; Milner, Robin
1979
Pure bigraphs: structure and dynamics. Zbl 1093.68067
Milner, Robin
2006
The space and motion of communicating agents. Zbl 1175.68461
Milner, Robin
2009
Bigraphical reactive systems. Zbl 1006.68080
Milner, Robin
2001
Lectures on a calculus for communicating systems. Zbl 0609.68020
Milner, Robin
1985
Stochastic bigraphs. Zbl 1286.68354
Krivine, Jean; Milner, Robin; Troina, Angelo
2008
Bigraphs and transitions. Zbl 1321.68126
Jensen, Ole Høgh; Milner, Robin
2003
Co-induction in relational semantics. Zbl 0755.68100
1991
Functions as processes. Zbl 0766.68036
Milner, Robin
1990
Local bigraphs and confluence: two conjectures (extended abstract). Zbl 1277.68197
Milner, Robin
2007
Flowgraphs and flow algebras. Zbl 0421.68025
Milner, Robin
1979
Proving compiler correctness in a mechanized logic. Zbl 0259.68008
Milner, R.; Weyhrauch, R.
1972
Lectures on a calculus for communicating systems. Zbl 0609.68021
Milner, Robin
1985
Models of LCF. Zbl 0364.02018
Milner, R.
1976
Processes: A mathematical model of computing agents. Zbl 0316.68017
Milner, Robin
1975
Transition systems, link graphs and Petri nets. Zbl 1107.68056
Leifer, James J.; Milner, Robin
2006
Journeys in non-classical computation I: A grand challenge for computing research. Zbl 1109.68361
Stepney, Suasan; Braunstein, Samuel L.; Clark, John A.; Tyrrell, Andy; Adamatzky, Andrew; Smith, Robert E.; Addis, Tom; Johnson, Colin; Timmis, Jonathan; Welch, Peter; Milner, Robin; Partridge, Derek
2005
Action calculi or syntactic action structures. Zbl 0925.68151
Milner, Robin
1993
Unique decomposition of processes. Zbl 0777.68037
Milner, Robin; Moller, Faron
1993
Axioms for bigraphical structure. Zbl 1083.68082
Milner, Robin
2005
Matching of bigraphs. Zbl 1278.05184
Birkedal, Lars; Damgaard, Troels Christoffer; Glenstrup, Arne John; Milner, Robin
2007
Calculi for interaction. Zbl 0853.68123
Milner, Robin
1996
Theories for the global ubiquitous computer. Zbl 1126.68313
Milner, Robin
2004
Bigraphs for Petri nets. Zbl 1088.68125
Milner, Robin
2004
Equivalences on program schemes. Zbl 0209.18705
Milner, R.
1970
Action structures and the pi-calculus. Zbl 0872.08003
Milner, Robin
1995
An action structure for synchronous $$\pi$$-calculus. Zbl 0794.68055
Milner, Robin
1993
Verifying a protocol using relativized bisimulation. Zbl 0628.68022
Larsen, Kim G.; Milner, Robin
1987
Synthesis of communicating behaviour. Zbl 0411.68031
Milner, Robin
1978
Program semantics and mechanized proof. Zbl 0437.68006
Milner, R.
1976
Higher-order action calculi. Zbl 0953.03523
Milner, Robin
1994
Barbed bisimulation. Zbl 1425.68298
Milner, Robin; Sangiorgi, Davide
1992
The use of machines to assist in rigorous proof. Zbl 0572.68078
Milner, R.
1984
The spectra of words. Zbl 1171.68655
Milner, Robin
2005
A compositional protocol verification using relativized bisimulation. Zbl 0753.68067
Larsen, Kim G.; Milner, Robin
1992
A type discipline for program modules. Zbl 0614.68010
Harper, Robert; Milner, Robin; Tofte, Mads
1987
Process constructors and interpretations. Zbl 0624.68030
Milner, Robin
1986
ICF: A way of doing proofs with a machine. Zbl 0423.68049
Milner, Robin
1979
Program schemes and recursive function theory. Zbl 0221.68017
Milner, R.
1969
An inductive characterization of matching in binding bigraphs. Zbl 1259.68157
Damgaard, Troels C.; Glenstrup, Arne J.; Birkedal, Lars; Milner, Robin
2013
Bigraphs and their algebra. Zbl 1279.68263
Milner, Robin
2008
An interview with Robin Milner. Zbl 1315.01040
Milner, Robin; Berger, Martin
2006
Turing, computing and communication. Zbl 1266.03001
Milner, Robin
2006
Embeddings and contexts for link graphs. Zbl 1076.68045
Milner, Robin
2005
Bigraphs as a model for mobile interaction. Zbl 1028.68561
Milner, Robin
2002
The pi calculus and its applications. Zbl 0948.68041
Milner, Robin
1998
Unique decomposition of processes. Zbl 0744.68050
Milner, Robin; Moller, Faron
1990
Algebras for communicating systems. Zbl 0482.68045
Milner, Robin
1978
An inductive characterization of matching in binding bigraphs. Zbl 1259.68157
Damgaard, Troels C.; Glenstrup, Arne J.; Birkedal, Lars; Milner, Robin
2013
The space and motion of communicating agents. Zbl 1175.68461
Milner, Robin
2009
Stochastic bigraphs. Zbl 1286.68354
Krivine, Jean; Milner, Robin; Troina, Angelo
2008
Bigraphs and their algebra. Zbl 1279.68263
Milner, Robin
2008
Local bigraphs and confluence: two conjectures (extended abstract). Zbl 1277.68197
Milner, Robin
2007
Matching of bigraphs. Zbl 1278.05184
Birkedal, Lars; Damgaard, Troels Christoffer; Glenstrup, Arne John; Milner, Robin
2007
Pure bigraphs: structure and dynamics. Zbl 1093.68067
Milner, Robin
2006
Transition systems, link graphs and Petri nets. Zbl 1107.68056
Leifer, James J.; Milner, Robin
2006
An interview with Robin Milner. Zbl 1315.01040
Milner, Robin; Berger, Martin
2006
Turing, computing and communication. Zbl 1266.03001
Milner, Robin
2006
Journeys in non-classical computation I: A grand challenge for computing research. Zbl 1109.68361
Stepney, Suasan; Braunstein, Samuel L.; Clark, John A.; Tyrrell, Andy; Adamatzky, Andrew; Smith, Robert E.; Addis, Tom; Johnson, Colin; Timmis, Jonathan; Welch, Peter; Milner, Robin; Partridge, Derek
2005
Axioms for bigraphical structure. Zbl 1083.68082
Milner, Robin
2005
The spectra of words. Zbl 1171.68655
Milner, Robin
2005
Embeddings and contexts for link graphs. Zbl 1076.68045
Milner, Robin
2005
Theories for the global ubiquitous computer. Zbl 1126.68313
Milner, Robin
2004
Bigraphs for Petri nets. Zbl 1088.68125
Milner, Robin
2004
Bigraphs and transitions. Zbl 1321.68126
Jensen, Ole Høgh; Milner, Robin
2003
Bigraphs as a model for mobile interaction. Zbl 1028.68561
Milner, Robin
2002
Bigraphical reactive systems. Zbl 1006.68080
Milner, Robin
2001
Deriving bisimulation congruences for reactive systems. Zbl 0999.68141
Leifer, James J.; Milner, Robin
2000
Communicating and mobile systems: The $$\pi$$-calculus. Zbl 0942.68002
Milner, Robin
1999
The pi calculus and its applications. Zbl 0948.68041
Milner, Robin
1998
Calculi for interaction. Zbl 0853.68123
Milner, Robin
1996
Action structures and the pi-calculus. Zbl 0872.08003
Milner, Robin
1995
Higher-order action calculi. Zbl 0953.03523
Milner, Robin
1994
Modal logics for mobile processes. Zbl 0778.68033
Milner, Robin; Parrow, Joachim; Walker, David
1993
Action calculi or syntactic action structures. Zbl 0925.68151
Milner, Robin
1993
Unique decomposition of processes. Zbl 0777.68037
Milner, Robin; Moller, Faron
1993
An action structure for synchronous $$\pi$$-calculus. Zbl 0794.68055
Milner, Robin
1993
A calculus of mobile processes. II. Zbl 0752.68037
Milner, Robin; Parrow, Joachim; Walker, David
1992
A calculus of mobile processes. I. Zbl 0752.68036
Milner, Robin; Parrow, Joachim; Walker, David
1992
Functions as processes. Zbl 0773.03012
Milner, Robin
1992
Barbed bisimulation. Zbl 1425.68298
Milner, Robin; Sangiorgi, Davide
1992
A compositional protocol verification using relativized bisimulation. Zbl 0753.68067
Larsen, Kim G.; Milner, Robin
1992
Co-induction in relational semantics. Zbl 0755.68100
1991
Operational and algebraic sementics of concurrent processes. Zbl 0900.68217
Milner, Robin
1990
Functions as processes. Zbl 0766.68036
Milner, Robin
1990
Unique decomposition of processes. Zbl 0744.68050
Milner, Robin; Moller, Faron
1990
Communication and concurrency. Zbl 0683.68008
Milner, Robin
1989
A complete axiomatisation for observational congruence of finite-state behaviours. Zbl 0688.68050
Milner, Robin
1989
Verifying a protocol using relativized bisimulation. Zbl 0628.68022
Larsen, Kim G.; Milner, Robin
1987
A type discipline for program modules. Zbl 0614.68010
Harper, Robert; Milner, Robin; Tofte, Mads
1987
Process constructors and interpretations. Zbl 0624.68030
Milner, Robin
1986
Algebraic laws for nondeterminism and concurrency. Zbl 0629.68021
Hennessy, Matthew; Milner, Robin
1985
Lectures on a calculus for communicating systems. Zbl 0609.68020
Milner, Robin
1985
Lectures on a calculus for communicating systems. Zbl 0609.68021
Milner, Robin
1985
A complete inference system for a class of regular behaviours. Zbl 0562.68065
Milner, Robin
1984
The use of machines to assist in rigorous proof. Zbl 0572.68078
Milner, R.
1984
Calculi for synchrony and asynchrony. Zbl 0512.68026
Milner, Robin
1983
A modal characterisation of observable machine-behaviour. Zbl 0474.68074
Milner, R.
1981
A calculus of communicating systems. Zbl 0452.68027
Milner, Robin
1980
On observing nondeterminism and concurrency. Zbl 0441.68018
Hennessy, Matthew; Milner, Robin
1980
Edinburgh LCF. A mechanized logic of computation. Zbl 0421.68039
Gordon, Michael J.; Milner, Arthur J.; Wadsworth, Christopher P.
1979
Concurrent processes and their syntax. Zbl 0395.68030
Milne, George; Milner, Robin
1979
Flowgraphs and flow algebras. Zbl 0421.68025
Milner, Robin
1979
ICF: A way of doing proofs with a machine. Zbl 0423.68049
Milner, Robin
1979
A theory of type polymorphism in programming. Zbl 0388.68003
Milner, Robin
1978
Synthesis of communicating behaviour. Zbl 0411.68031
Milner, Robin
1978
Algebras for communicating systems. Zbl 0482.68045
Milner, Robin
1978
Fully abstract models of typed $$\lambda$$-calculi. Zbl 0386.03006
Milner, Robin
1977
Models of LCF. Zbl 0364.02018
Milner, R.
1976
Program semantics and mechanized proof. Zbl 0437.68006
Milner, R.
1976
Processes: A mathematical model of computing agents. Zbl 0316.68017
Milner, Robin
1975
Proving compiler correctness in a mechanized logic. Zbl 0259.68008
Milner, R.; Weyhrauch, R.
1972
Equivalences on program schemes. Zbl 0209.18705
Milner, R.
1970
Program schemes and recursive function theory. Zbl 0221.68017
Milner, R.
1969
all top 5

#### Cited by 2,699 Authors

 44 Aceto, Luca 44 Montanari, Ugo G. 39 Ingólfsdóttir, Anna 37 Hennessy, Matthew C. B. 28 Sangiorgi, Davide 27 Yoshida, Nobuko 26 Bergstra, Jan A. 23 Fokkink, Willem Jan 23 Larsen, Kim Guldstrand 23 Vogler, Walter 22 De Nicola, Rocco 22 Milner, Robin 22 van Glabbeek, Robert Jan 21 Bonchi, Filippo 21 Corradini, Flavio 20 Gadducci, Fabio 20 Gorrieri, Roberto 18 Degano, Pierpaolo 18 Fu, Yuxi 17 Luttik, Bas 16 Baeten, Jos C. M. 16 Bernardo, Marco 16 Bruni, Roberto 16 Busi, Nadia 16 Cardelli, Luca 16 Deng, Yuxin 16 Dezani-Ciancaglini, Mariangiola 16 Groote, Jan Friso 16 Priami, Corrado 16 Zavattaro, Gianluigi 15 Smolka, Scott A. 14 Honda, Kohei 14 Lüttgen, Gerald 14 Middelburg, Cornelis A. 14 Nielson, Flemming 13 Bodei, Chiara 13 Bravetti, Mario 13 Majster-Cederbaum, Mila E. 13 Reniers, Michel Adriaan 13 Riis Nielson, Hanne 13 Rutten, Jan J. M. M. 13 Winskel, Glynn 12 Abramsky, Samson 12 Boreale, Michele 12 Legay, Axel 12 Palamidessi, Catuscia 12 Phillips, Iain W. 11 Broy, Manfred 11 Castellani, Ilaria 11 Cleaveland, Rance 11 de Frutos-Escrig, David 11 Ésik, Zoltán 11 Gorla, Daniele 11 Hasan, Osman 11 Hermanns, Holger 11 Hoare, C. A. R. Tony 11 Jančar, Petr 11 Laneve, Cosimo 11 Miculan, Marino 11 Miller, Dale Allen 11 Tahar, Sofiène 11 Tini, Simone 10 Brodo, Linda 10 Chen, Taolue 10 Ferrari, Gian Luigi 10 Gordon, Andrew D. 10 Gregorio-Rodríguez, Carlos 10 Koutny, Maciej 10 Labella, Anna 10 Panangaden, Prakash 10 Parrow, Joachim 10 Pugliese, Rosario 10 Wirsing, Martin 9 Baier, Christel 9 Baldan, Paolo 9 Bonsangue, Marcello Maria 9 Boudol, Gérard 9 Corradini, Andrea 9 Hüttel, Hans 9 Kucera, Antonin 9 Maggiolo-Schettini, Andrea 9 Meyer, John-Jules Charles 9 Ponse, Alban 9 Sobociński, Paweł 9 Ying, Mingsheng 8 Barbuti, Roberto 8 Bundy, Alan 8 Ćirić, Miroslav D. 8 Coppo, Mario 8 Devillers, Raymond 8 Fahrenberg, Uli 8 Ignjatović, Jelena 8 Inverardi, Paola 8 Krivine, Jean 8 Loreti, Michele 8 Merro, Massimo 8 Mitchell, John C. 8 Moller, Faron 8 Nestmann, Uwe 8 Olarte, Carlos ...and 2,599 more Authors
all top 5

#### Cited in 135 Serials

 644 Theoretical Computer Science 240 Information and Computation 115 Formal Aspects of Computing 93 Acta Informatica 78 The Journal of Logic and Algebraic Programming 75 Information Processing Letters 73 MSCS. Mathematical Structures in Computer Science 53 Journal of Logical and Algebraic Methods in Programming 49 Journal of Computer and System Sciences 38 Journal of Automated Reasoning 29 Formal Methods in System Design 27 Science of Computer Programming 25 Journal of Functional Programming 25 Logical Methods in Computer Science 24 Annals of Pure and Applied Logic 22 Distributed Computing 20 Discrete Event Dynamic Systems 14 Information Sciences 13 Artificial Intelligence 13 Journal of Applied Logic 12 RAIRO. Theoretical Informatics and Applications 12 Computer Languages, Systems & Structures 11 Journal of Symbolic Computation 11 Higher-Order and Symbolic Computation 10 Automatica 9 Programming and Computer Software 9 Journal of Computer Science and Technology 9 Natural Computing 8 Fuzzy Sets and Systems 8 Theory and Practice of Logic Programming 7 International Journal of Parallel Programming 7 Applied Categorical Structures 6 Journal of Pure and Applied Algebra 6 The Journal of Symbolic Logic 6 International Journal of Approximate Reasoning 6 International Journal of Foundations of Computer Science 6 ACM Transactions on Computational Logic 5 International Journal of Theoretical Physics 5 New Generation Computing 5 International Journal of Computer Mathematics 5 RAIRO. Informatique Théorique et Applications 4 BIT 4 RAIRO, Informatique Théorique 4 Systems & Control Letters 4 Journal of Logic, Language and Information 4 Journal of Applied Non-Classical Logics 4 The Bulletin of Symbolic Logic 4 Annals of Mathematics and Artificial Intelligence 4 Mathematical Problems in Engineering 4 Sibirskie Èlektronnye Matematicheskie Izvestiya 4 Science in China. Series F 3 Notre Dame Journal of Formal Logic 3 Software. Practice & Experience 3 Journal of Cryptology 3 Applicable Algebra in Engineering, Communication and Computing 3 Cybernetics and Systems Analysis 3 European Journal of Control 3 Theory of Computing Systems 3 Journal of the ACM 3 Wuhan University Journal of Natural Sciences (WUJNS) 3 International Journal of Parallel, Emergent and Distributed Systems 3 Nonlinear Analysis. Hybrid Systems 3 Science China. Information Sciences 2 Computers & Mathematics with Applications 2 Discrete Applied Mathematics 2 International Journal of Control 2 Applied Mathematics and Computation 2 Mathematical Systems Theory 2 SIAM Journal on Control and Optimization 2 Topology and its Applications 2 Physica D 2 Real-Time Systems 2 Science in China. Series E 2 Data Mining and Knowledge Discovery 2 International Journal of Applied Mathematics and Computer Science 2 Concurrency and Computation: Practice & Experience 2 Entropy 2 New Mathematics and Natural Computation 2 Mathematics in Computer Science 2 RAIRO. Theoretical Informatics and Applications 2 Frontiers of Computer Science 2 Computer Science Review 2 Philosophical Transactions A. Royal Society of London 1 ACM Computing Surveys 1 Letters in Mathematical Physics 1 Mathematical Methods in the Applied Sciences 1 ACM Transactions on Database Systems 1 Bulletin of Mathematical Biology 1 Chaos, Solitons and Fractals 1 Annales Scientifiques de l’Université de Clermont-Ferrand II. Mathématiques 1 Computing 1 Czechoslovak Mathematical Journal 1 Glasgow Mathematical Journal 1 International Journal of Computer & Information Sciences 1 Journal of Computational and Applied Mathematics 1 Journal of Econometrics 1 Journal of Philosophical Logic 1 Journal of Soviet Mathematics 1 Kybernetes 1 Kybernetika ...and 35 more Serials
all top 5

#### Cited in 35 Fields

 2,421 Computer science (68-XX) 477 Mathematical logic and foundations (03-XX) 89 Category theory; homological algebra (18-XX) 73 Biology and other natural sciences (92-XX) 67 Systems theory; control (93-XX) 48 Information and communication theory, circuits (94-XX) 36 Order, lattices, ordered algebraic structures (06-XX) 29 Probability theory and stochastic processes (60-XX) 24 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 20 Combinatorics (05-XX) 18 General algebraic systems (08-XX) 13 Operations research, mathematical programming (90-XX) 11 Quantum theory (81-XX) 6 Associative rings and algebras (16-XX) 6 Dynamical systems and ergodic theory (37-XX) 6 General topology (54-XX) 5 General and overarching topics; collections (00-XX) 5 History and biography (01-XX) 4 Numerical analysis (65-XX) 3 Number theory (11-XX) 2 Group theory and generalizations (20-XX) 2 Partial differential equations (35-XX) 2 Geometry (51-XX) 2 Algebraic topology (55-XX) 2 Mathematics education (97-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Real functions (26-XX) 1 Measure and integration (28-XX) 1 Special functions (33-XX) 1 Ordinary differential equations (34-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Differential geometry (53-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Statistics (62-XX) 1 Geophysics (86-XX)

#### Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.