Found 136 Documents (Results 1–100)
Erratum to: “Special subvarieties of non-arithmetic ball quotients and Hodge theory”. (English) Zbl 1527.14060
Description Complexity of Unary Structures in First-Order Logic with Links to Entropy. arXiv:2406.02108
Preprint, arXiv:2406.02108 [math.LO] (2024).
On the use of model and logical embeddings for model checking of probabilistic systems. (English) Zbl 1543.68203
Huisman, Marieke (ed.) et al., Formal techniques for distributed objects, components, and systems. 43rd IFIP WG 6.1 international conference, FORTE 2023, held as part of the 18th international federated conference on distributed computing techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13910, 115-131 (2023).
Special subvarieties of non-arithmetic ball quotients and Hodge theory. (English) Zbl 1519.14025
Ann. Math. (2) 197, No. 1, 159-220 (2023); erratum ibid. 199, No. 1, 481 (2024).
Reviewer: Jeroen Sijsling (Ulm)
A monotone connection between model class size and description length. arXiv:2301.13800
Preprint, arXiv:2301.13800 [math.LO] (2023).
Ultrafilter selection and Corson compacta. (English) Zbl 07600376
Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., RACSAM 116, No. 4, Paper No. 178, 26 p. (2022).
Probabilistic causes in Markov chains. (English) Zbl 1497.68356
Hou, Zhe (ed.) et al., Automated technology for verification and analysis. 19th international symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12971, 205-221 (2021).
The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism. (English) Zbl 1464.68263
A study of algebras and logics of rough sets based on classical and generalized approximation spaces. (English) Zbl 1483.68405
Peters, James F. (ed.) et al., Transactions on Rough Sets XXII. Berlin: Springer. Lect. Notes Comput. Sci. 12485, 123-251 (2020).
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination. (English) Zbl 1443.68101
Discrete metric spaces: structure, enumeration, and 0-1 laws. (English) Zbl 1476.03038
Reviewer: Vera Koponen (Uppsala)
The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism. (English) Zbl 1464.68262
Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11884, 41-58 (2019).
Approximate time bounded reachability for CTMCs and CTMDPs: a Lyapunov approach. (English) Zbl 1514.68146
McIver, Annabelle (ed.) et al., Quantitative evaluation of systems. 15th international conference, QEST 2018, Beijing, China, September 4–7, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11024, 389-406 (2018).
Action and state based computation tree measurement language and algorithms. (English) Zbl 1514.68135
McIver, Annabelle (ed.) et al., Quantitative evaluation of systems. 15th international conference, QEST 2018, Beijing, China, September 4–7, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11024, 190-206 (2018).
Complete axiomatization for the total variation distance of Markov chains. (English) Zbl 1525.68080
Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 27-39 (2018).
A complete quantitative deduction system for the bisimilarity distance on Markov chains. (English) Zbl 1409.68182
Reconstructing the topology of the elementary self-embedding monoids of countable saturated structures. (English) Zbl 1437.03121
Clopen ultrafilters of \(\omega\) and the cardinality of the Stone space \(S(\omega)\) in ZF. (English) Zbl 1507.03101
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination. (English) Zbl 1483.68195
Bouyer, Patricia (ed.) et al., Proceedings of the eighth international symposium on games, automata, logics and formal verification, GandALF 2017, Roma, Italy, September 20–22, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 256, 16-30 (2017).
Equivalence of probabilistic \(\mu\)-calculus and p-automata. (English) Zbl 1489.68122
Carayol, Arnaud (ed.) et al., Implementation and application of automata. 22nd international conference, CIAA 2017, Marne-la-Vallée, France, June 27–30, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10329, 64-75 (2017).
Cell structures and completely metrizable spaces and their mappings. (English) Zbl 1382.54018
Reviewer: Gabriela Apreutesei (Iaşi)
Deductive proofs of almost sure persistence and recurrence properties. (English) Zbl 1420.68153
Chechik, Marsha (ed.) et al., Tools and algorithms for the construction and analysis of systems. 22nd international conference, TACAS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9636, 260-279 (2016).
On the satisfiability of some simple probabilistic logics. (English) Zbl 1394.68169
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 56-65 (2016).
Complete axiomatization for the bisimilarity distance on Markov chains. (English) Zbl 1392.68282
Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 21, 14 p. (2016).
Large rigid sets of algebras with respect to embeddability. (English) Zbl 1374.08004
Reviewer: Emília Halušková (Košice)
Large sets of lattices without order embeddings. (English) Zbl 1342.06003
Reviewer: Danica Jakubiková-Studenovská (Košice)
Dualities for structures of applied logics. (English) Zbl 1337.03002
Studies in Logic (London) 56. Mathematical Logic and Foundations. London: College Publications (ISBN 978-1-84890-181-0/pbk). xii, 381 p. (2015).
Reviewer: Jānis Cīrulis (Riga)
Discrete mathematics. (English) Zbl 1332.05001
Oxford: Oxford University Press (ISBN 978-0-19-945279-8/pbk). xxv, 600 p. (2015).
Reviewer: Zoltán Kása (Cluj-Napoca)
Decidability of approximate Skolem problem and applications to logical verification of dynamical properties of Markov chains. (English) Zbl 1354.68168
Quasiperiodicity and non-computability in tilings. (English) Zbl 1465.68085
Italiano, F. (ed.) et al., Mathematical foundations of computer science 2015. 40th international symposium, MFCS 2015, Milan, Italy, August 24–28, 2015. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 9234, 218-230 (2015).
Duality theories for Boolean algebras with operators. (English) Zbl 1316.03039
Springer Monographs in Mathematics. Cham: Springer (ISBN 978-3-319-06742-1/hbk; 978-3-319-06743-8/ebook). xiv, 233 p. (2014).
Reviewer: Ganna Kudryavtseva (Ljubljana)
Cardinal invariants on Boolean algebras. 2nd revised ed. (English) Zbl 1287.06001
Progress in Mathematics 142. Basel: Birkhäuser/Springer (ISBN 978-3-0348-0729-6/hbk; 978-3-0348-0730-2/ebook). vii, 573 p. (2014).
Reviewer: Martin Weese (Potsdam)
Approximating bisimilarity for Markov processes. (English) Zbl 1334.68158
Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 427-440 (2013).
Note on the point character of \(\ell_1\)-spaces. (English) Zbl 1299.54016
Reviewer: K. P. Hart (Delft)
Approximating Markov processes through filtration. (English) Zbl 1257.68111
Reviewer: Ernst-Erich Doberkat (Dortmund)
Discrete mathematics. (English) Zbl 1253.05001
New Delhi: Narosa Publishing House; Oxford: Alpha Science International (ISBN 978-81-8487-135-7/pbk; 978-1-84265-695-2/pbk). xiii, 432 p., not consecutively paged. (2012).
Reviewer: Werner Kleinert (Berlin)
Verifying pCTL model checking. (English) Zbl 1352.68154
Flanagan, Cormac (ed.) et al., Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28755-8/pbk). Lecture Notes in Computer Science 7214, 347-361 (2012).
Maximal free sequences in a Boolean algebra. (English) Zbl 1249.06034
Reviewer: Richard Bonnet (Lyon)
\(\Pi^{0}_{1}\) sets and tilings. (English) Zbl 1333.03109
Ogihara, Mitsunori (ed.) et al., Theory and applications of models of computation. 8th annual conference, TAMC 2011, Tokyo, Japan, May 23–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20876-8/pbk). Lecture Notes in Computer Science 6648, 230-239 (2011).
The coinitialities of Efimov spaces. (English) Zbl 1244.03132
Babinkostova, L. (ed.) et al., Set theory and its applications. Annual Boise extravaganza in set theory, Boise, ID, USA, 1995–2010. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4812-8/pbk). Contemporary Mathematics 533, 259-265 (2011).
Galois relation for closed classes of discrete functions. (Russian. English summary) Zbl 07301721
Boolean formulae, hypergraphs and combinatorial topology. (English) Zbl 1206.57026
Reviewer: Etienne Fieux (Toulouse)
Stochastic coalgebraic logic. (English) Zbl 1207.03039
Monographs in Theoretical Computer Science. An EATCS Series. Dordrecht: Springer (ISBN 978-3-642-02994-3/hbk; 978-3-642-02995-0/ebook). xv, 231 p. (2010).
Reviewer: Lutz Schröder (Bremen)
Compositional model checking of product-form CTMCs. (English) Zbl 1339.68163
Goldsmith, Michael (ed.) et al., Proceedings of the 7th international workshop on automated verification of critical systems (AVoCS 2007), Oxford, UK, September 10–12, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 250, No. 1, 21-37 (2009).
Small subsets of groups. (English) Zbl 1189.20033
Reviewer: Mihail I. Ursul (Oradea)
Three-valued abstractions of Markov chains: completeness for a sizeable fragment of PCTL. (English) Zbl 1252.03037
Kutyłowski, Mirosław (ed.) et al., Fundamentals of computation theory. 17th international symposium, FCT 2009, Wrocław, Poland, September 2–4, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03408-4/pbk). Lecture Notes in Computer Science 5699, 205-216 (2009).
Simulation of Wave Equation on Manifold using DEC. arXiv:0909.5008
Preprint, arXiv:0909.5008 [math.NA] (2009).
Boundary of central tiles associated with Pisot beta-numeration and purely periodic expansions. (English) Zbl 1190.11005
Reviewer: Takao Komatsu (Hirosaki)
Exterior difference systems and invariance properties of discrete mechanics. (English) Zbl 1156.39010
Reviewer: Mingshu Peng (Beijing)
Resplendent models and \({\Sigma_1^1}\)-definability with an oracle. (English) Zbl 1160.03009
Reviewer: M. Yasuhara (Princeton)
About the domino problem in the hyperbolic plane from an algorithmic point of view. (English) Zbl 1237.52016
Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types. (English) Zbl 1139.18005
Complex tilings. (English) Zbl 1141.03021
Applications of exterior difference systems to variations in discrete mechanics. (English) Zbl 1137.39015
Exterior difference system on hypercubic lattice. (English) Zbl 1137.39014
Reviewer: Marian Ioan Munteanu (Iaşi)
Avoiding the projective hierarchy in expansions of the real field by sequences. (English) Zbl 1093.03023
Filling certain cuts in discrete weakly o-minimal structures. (English) Zbl 1072.03023
Reviewer: Martin Weese (Potsdam)
On probabilistic computation tree logic. (English) Zbl 1203.68096
Baier, Christel (ed.) et al., Validation of stochastic systems. A guide to current research. Berlin: Springer (ISBN 3-540-22265-0/pbk). Lecture Notes in Computer Science 2925, 147-188 (2004).
Some results on effective randomness. (English) Zbl 1099.03033
Díaz, Josep (ed.) et al., Automata, languages and programming. 31st international colloquium, ICALP 2004, Turku, Finland, July 12–16, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22849-7/pbk). Lecture Notes in Computer Science 3142, 983-995 (2004).
Constructions of thin-tall Boolean spaces. (English) Zbl 1087.54016
Reviewer: Kiyoshi Iseki (Osaka)
Asymptotics for logical limit laws: When the growth of the components is in an RT class. (English) Zbl 1021.03022
Logical measure – structure of logical formula. (English) Zbl 0989.03022
Bouchon-Meunier, Bernadette (ed.) et al., Technologies for constructing intelligent systems. 2: Tools. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 90, 417-429 (2002).
Complex tilings. (English) Zbl 1323.68326
Proceedings of the thirty-third annual ACM symposium on theory of computing, STOC 2001. Hersonissos, Crete, Greece, July 6–8, 2001. New York, NY: ACM Press (ISBN 1-581-13349-9). 732-739 (2001).
Fuzzy mathematics. An introduction for engineers and scientists. 2nd ed. (English) Zbl 1009.03002
Studies in Fuzziness and Soft Computing. 20. Heidelberg: Physica-Verlag. xiii, 310 p. (2001).
Reviewer: Siegfried Johannes Gottwald (Leipzig)
Topological density of ccc Boolean algebras – every cardinality occurs. (English) Zbl 0927.06010
Reviewer: Judith Roitman (Lawrence)
Forcing minimal extensions of Boolean algebras. (English) Zbl 0922.03071
Reviewer: James Monk (Boulder)
Mathematically structural foundations of computer science. (Mathematisch-strukturelle Grundlagen der Informatik.) (German) Zbl 0916.68125
Berlin: Springer. xix, 534 S. (1999).
Reviewer: J.Desel (Karlsruhe)
On the Baire number of the Stone space of \({\mathcal P} (\omega)/\text{fin}\). (English) Zbl 0865.54007
Reviewer: O.Spinas (Irvine)
General algebra and applications in discrete mathematics. Proceedings of the conference on general algebra and discrete mathematics, Potsdam, Germany, June 1996. (English) Zbl 0909.00032
Berichte aus der Mathematik. Aachen: Shaker Verlag. 222 p. (1997).
Introduction to discrete mathematics with ISETL. (English) Zbl 0877.00001
New York, NY: Springer. xvi, 194 p. (1996).
Reviewer: A.Nabebin (Moskva)
Maximal resolvability of families of bounded subsets. (English) Zbl 0862.04004
Reviewer: K.P.Hart (Delft)
Bootstrapping system defined by inconsistent relation between Boolean and non-Boolean algebra. (English) Zbl 0855.92003
Discrete mathematics. (English) Zbl 0879.03002
Boston, MA: Jones and Bartlett Publishers. xvi, 656 p. (1996).
Metafinite model theory. (English) Zbl 1540.03067
Leivant, Daniel (ed.), Logic and computational complexity. International workshop, LCC ’94, Indianapolis, IN, USA, October 13–16, 1994. Selected Papers. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 960, 313-366 (1995).
Filter Results by …
Document Type
- Journal Articles (86)
- Collection Articles (31)
- Books (16)
- arXiv Preprints (3)
all
top 5
Author
- Xie, Zheng (4)
- Bacci, Giorgio (3)
- Bacci, Giovanni (3)
- Baier, Christel (3)
- Durand, Bruno (3)
- Larsen, Kim Guldstrand (3)
- Li, Hongbo (3)
- Mardare, Radu (3)
- Monk, James Donald (3)
- Orłowska, Ewa S. (3)
- Rodl, Vojtech (3)
- Sharma, Arpit (3)
- Simon, Petr (3)
- Baldi, Gregorio (2)
- Czédli, Gábor (2)
- Dekker, Jacob C. E. (2)
- Düntsch, Ivo (2)
- Gurevich, Yuri (2)
- Hartonas, Chrysafis (2)
- Hein, James L. (2)
- Hung, Henry Hin-Lai (2)
- Hutschenreiter, Lisa (2)
- Jaakkola, Reijo (2)
- Jeandel, Emmanuel (2)
- Katoen, Joost-Pieter (2)
- Klein, Joachim (2)
- Kuusisto, Antti (2)
- Levin, Leonid A. (2)
- Negrepontis, Stylianos (2)
- Pelant, Jan (2)
- Piterman, Nir (2)
- Reiterman, Jan (2)
- Shelah, Saharon (2)
- Shen, Alexander (2)
- Starchenko, Sergei (2)
- Ullmo, Emmanuel (2)
- Vanier, Pascal (2)
- Vilander, Miikka S. (2)
- Zhou, Chunlai (2)
- Adamski, K. (1)
- Akiyama, Shigeki (1)
- Akshay, S. (1)
- Antonopoulos, Timos (1)
- Avart, Christian (1)
- Badaev, Serikzhan A. (1)
- Balcar, Bohuslav (1)
- Ballarini, Paolo (1)
- Barat, Guy (1)
- Basu, Saugata (1)
- Bell, Jason P. (1)
- Berarducci, Alessandro (1)
- Berthé, Valérie (1)
- Bielińska, Marta (1)
- Bienvenu, Laurent (1)
- Biscaia, M. (1)
- Bisht, Raj Kishor (1)
- Bonnet, Robert (1)
- Bovykin, Andrey I. (1)
- Buchholz, Peter (1)
- Burris, Stanley N. (1)
- Cauli, Claudia (1)
- Chakarov, Aleksandar (1)
- Chakraborty, Souymodip (1)
- Chandrasekhara Rao, K. (1)
- Chatzieleftheriou, George (1)
- Chazelle, Bernard (1)
- Chernikov, Artem (1)
- Ciesinski, Frank (1)
- Ciobanu, Gabriel (1)
- Conant, James (1)
- Cornelius, Felix (1)
- Das, Susmoy (1)
- Debski, Wojciech (1)
- Denecke, Klaus Dieter (1)
- Dhami, H. S. (1)
- Doberkat, Ernst-Erich (1)
- Domokos, Gábor (1)
- Dow, Alan S. (1)
- Downey, Rodney Graham (1)
- Dubinsky, Ed (1)
- Dullerud, Geir E. (1)
- Edmundo, Mário J. (1)
- Ehrenfeucht, Andrzej (1)
- Ehrig, Hartmut (1)
- Fenton, William E. (1)
- Funke, Florian (1)
- Gao, Yang (1)
- García-Martínez, Carlos (1)
- Ge, Xun (1)
- Ge, Ying (1)
- Geschke, Stefan (1)
- Givant, Steven R. (1)
- Grädel, Erich (1)
- Große-Rhode, Martin (1)
- Größer, Marcus (1)
- Gunji, Yukio-Pegio (1)
- Hechler, Stephen Herman (1)
- Heindorf, Lutz (1)
- Hensel, Christian (1)
- Henson, C. Ward (1)
- and 113 more Authors
all
top 5
Serial
- Topology Appl. (5)
- Theor. Comput. Sci. (4)
- Trans. Am. Math. Soc. (4)
- J. Symb. Log. (3)
- Proc. Am. Math. Soc. (3)
- Inf. Process. Lett. (2)
- Commentat. Math. Univ. Carol. (2)
- Inf. Comput. (2)
- J. Log. Comput. (2)
- Ann. Math. (2) (2)
- J. Phys. A, Math. Theor. (2)
- Commun. Algebra (1)
- Commun. Pure Appl. Math. (1)
- J. Math. Phys. (1)
- Period. Math. Hung. (1)
- Algebra Logic (1)
- Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Math. (1)
- Appl. Math. Comput. (1)
- BIT (1)
- Bull. Lond. Math. Soc. (1)
- Colloq. Math. (1)
- Diss. Math. (1)
- Fundam. Math. (1)
- J. Assoc. Comput. Mach. (1)
- J. Comb. Theory, Ser. B (1)
- J. Lond. Math. Soc., II. Ser. (1)
- Math. Slovaca (1)
- Monatsh. Math. (1)
- Notre Dame J. Formal Logic (1)
- Sib. Math. J. (1)
- Stud. Log. (1)
- Stud. Sci. Math. Hung. (1)
- Z. Math. Logik Grundlagen Math. (1)
- Sov. Math. (1)
- Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. (1)
- Acta Appl. Math. (1)
- Quest. Answers Gen. Topology (1)
- Algorithmica (1)
- Random Struct. Algorithms (1)
- Autom. Remote Control (1)
- Arch. Math. Logic (1)
- Form. Methods Syst. Des. (1)
- J. Appl. Non-Class. Log. (1)
- Topol. Proc. (1)
- Math. Log. Q. (1)
- Sel. Math., New Ser. (1)
- Theory Comput. Syst. (1)
- Rev. Mat. Complut. (1)
- J. Eur. Math. Soc. (JEMS) (1)
- J. Comput. Anal. Appl. (1)
- Theor. Inform. Appl. (1)
- Q. J. Math. (1)
- J. Log. Algebr. Program. (1)
- ACM Trans. Comput. Log. (1)
- Found. Phys. (1)
- Sib. Èlektron. Mat. Izv. (1)
- Bull. Am. Math. Soc. (1)
- Lect. Notes Econ. Math. Syst. (1)
- Lect. Notes Math. (1)
- Prog. Math. (1)
- Stud. Fuzziness Soft Comput. (1)
- Stud. Log. (Lond.) (1)
- Log. Univers. (1)
- Log. Methods Comput. Sci. (1)
- Sci. Ann. Comput. Sci. (1)
- Discrete Math. Algorithms Appl. (1)
- Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., RACSAM (1)
- Forum Math. Sigma (1)
- J. Log. Algebr. Methods Program. (1)
- Springer Monogr. Math. (1)
- Ber. Math (1)
- Monogr. Theoret. Comput. Sci., EATCS Ser. (1)
- Prikl. Diskretn. Mat. (1)
- Comb. Theory (1)
all
top 5
Year of Publication
- 2024 (3)
- 2023 (5)
- 2022 (1)
- 2021 (3)
- 2020 (2)
- 2019 (7)
- 2018 (8)
- 2017 (4)
- 2016 (6)
- 2015 (6)
- 2014 (3)
- 2013 (5)
- 2012 (4)
- 2011 (6)
- 2010 (3)
- 2009 (4)
- 2008 (8)
- 2007 (1)
- 2006 (1)
- 2005 (1)
- 2004 (3)
- 2003 (3)
- 2002 (1)
- 2001 (2)
- 1999 (3)
- 1997 (2)
- 1996 (4)
- 1995 (2)
- 1994 (5)
- 1993 (1)
- 1992 (1)
- 1990 (5)
- 1989 (2)
- 1988 (3)
- 1987 (1)
- 1984 (2)
- 1983 (1)
- 1982 (2)
- 1981 (3)
- 1978 (1)
- 1977 (4)
- 1975 (1)
- 1974 (1)
- 1973 (2)
all
top 3
Main Field
- 03-XX (136)
- 68-XX (56)
- 06-XX (37)
- 54-XX (34)
- 60-XX (33)
- 05-XX (19)
- 52-XX (16)
- 08-XX (11)
- 94-XX (8)
- 81-XX (6)
- 00-XX (5)
- 11-XX (4)
- 20-XX (4)
- 22-XX (4)
- 39-XX (4)
- 58-XX (4)
- 14-XX (3)
- 70-XX (3)
- 18-XX (2)
- 32-XX (2)
- 37-XX (2)
- 46-XX (2)
- 90-XX (2)
- 01-XX (1)
- 12-XX (1)
- 13-XX (1)
- 16-XX (1)
- 26-XX (1)
- 28-XX (1)
- 35-XX (1)
- 41-XX (1)
- 43-XX (1)
- 51-XX (1)
- 55-XX (1)
- 57-XX (1)
- 62-XX (1)
- 78-XX (1)
- 83-XX (1)
- 92-XX (1)
- 93-XX (1)
Biographic Reference
- Rudeanu, Sergiu (1)