A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets. (English) Zbl 07929410
MSC:
68-XX
Found 657 Documents (Results 1–100)
Constrained inhomogeneous spherical equations: average-case hardness. (English) Zbl 07910111
Reviewer: Egle Bettio (Venezia)
A differentiable first-order rule learner for inductive logic programming. (English) Zbl 07875639
MSC:
68Txx
On the Hausdorff dimension and attracting laminations for fully irreducible automorphisms of free groups. arXiv:2410.02058
Preprint, arXiv:2410.02058 [math.GR] (2024).
Automorphisms of the two-sided shift and the Higman–Thompson groups III: extensions. arXiv:2407.18720
Preprint, arXiv:2407.18720 [math.GR] (2024).
Medvedev degrees of subshifts on groups. arXiv:2406.12777
Preprint, arXiv:2406.12777 [math.DS] (2024).
Effective dynamical systems beyond dimension zero and factors of SFTs. arXiv:2401.07973
Preprint, arXiv:2401.07973 [math.DS] (2024).
Domino snake problems on groups. (English) Zbl 07856009
Fernau, Henning (ed.) et al., Fundamentals of computation theory. 24th international symposium, FCT 2023, Trier, Germany, September 18–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14292, 46-59 (2023).
MSC:
68Qxx
Families of Eulerian functions involved in regularization of divergent polyzetas. (English) Zbl 1531.11081
Algèbre et théorie des nombres 2023. Besançon: Presses Universitaires de Franche-Comté. Publ. Math. Besançon, Algèbre Théor. Nombres 2023, 5-28 (2023).
Knowledge injection of Datalog rules via neural network structuring with KINS. (English) Zbl 07804195
Extension of constraint-procedural logic-generated environments for deep Q-learning agent training and benchmarking. (English) Zbl 07804190
Symbolic analysis and parameter synthesis for time Petri nets using Maude and SMT solving. (English) Zbl 1541.68236
Gomes, Luis (ed.) et al., Application and theory of Petri nets and concurrency. 44th international conference, Petri NETS 2023, Lisbon, Portugal, June 25–30, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13929, 369-392 (2023).
Morpho-logic from a topos perspective – application to symbolic AI. (English) Zbl 07734046
MSC:
68T37
\(\alpha\)ILP: thinking visual scenes as differentiable logic programs. (English) Zbl 07702710
MSC:
68T05
FFNSL: Feed-forward neural-symbolic learner. (English) Zbl 07694494
MSC:
68T05
Quadratic equations in the lamplighter group. arXiv:2401.08589
Preprint, arXiv:2401.08589 [math.GR] (2023).
Complexity of Spherical Equations in Finite Groups. arXiv:2308.12841
Preprint, arXiv:2308.12841 [math.GR] (2023).
Verification of bitcoin script in Agda using weakest preconditions for access control. (English) Zbl 07890951
Basold, Henning (ed.) et al., 27th international conference on types for proofs and programs, TYPES 2021, Leiden, The Netherlands, virtual conference, June 14–18, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 239, Article 1, 25 p. (2022).
A gaze into the internal logic of graph neural networks, with logic. (English) Zbl 1528.68350
Lierler, Yuliya (ed.) et al., Proceedings of the 38th international conference on logic programming, ICLP 2022, Haifa, Israel, July 31 – August 6, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 364, 93-106 (2022).
Logic and theory of representation. (English) Zbl 1543.03037
Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 737-750 (2022).
A comparative study of three neural-symbolic approaches to inductive logic programming. (English) Zbl 1515.68260
Gottlob, Georg (ed.) et al., Logic programming and nonmonotonic reasoning. 16th international conference, LPNMR 2022, Genova, Italy, September 5–9, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13416, 56-61 (2022).
Calculi and models for non-Horn knowledge bases containing neural and evaluable predicates. (English) Zbl 1534.68229
Liao, Beishui (ed.) et al., Logics for new-generation AI. Second international workshop, Zhuhai, China, June 10–12, 2022. London: College Publications. 24-35 (2022).
Collected works of William P. Thurston with commentary: III. Dynamics, computer science and general interest. Edited by Benson Farb, David Gabai and Steven P. Kerckhoff. (English) Zbl 1512.57001
Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-6390-8/hbk; 978-1-4704-6835-4/ebook; 978-1-4704-5164-6/ebook). xxi, 604 p. (2022).
Reviewer: Athanase Papadopoulos (Strasbourg)
Detect, understand, act: a neuro-symbolic hierarchical reinforcement learning framework. (English) Zbl 07570135
MSC:
68T05
Scheduling complexity of interleaving search. (English) Zbl 07570119
Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 152-170 (2022).
Symbolic DNN-tuner. (English) Zbl 07510323
MSC:
68T05
Inclusion of domain-knowledge into GNNs using mode-directed inverse entailment. (English) Zbl 07510322
MSC:
68T05
Learning from interpretation transition using differentiable logic programming semantics. (English) Zbl 07510308
MSC:
68T05
Analyzing differentiable fuzzy logic operators. (English) Zbl 1490.68233
Reviewer: Antonín Dvořák (Ostrava)
A probabilistic approximate logic for neuro-symbolic learning and reasoning. (English) Zbl 1523.68095
OmegaThreads: symbolic controller design for \(\omega\)-regular objectives. (English) Zbl 07807698
Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19–21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 25, 7 p. (2021).
Symbolic foundations of algorithmic practices in England (1801–1860). (Fondements symboliques des pratiques algorithmiques en Angleterre (1801–1860).) (French) Zbl 1494.03003
Haffner, Emmylou (ed.) et al., L’épistémologie du dedans. Mélanges en l’honneur de Hourya Benis-Sinaceur. Paris: Classiques Garnier. Rencontres 479, 301-339 (2021).
Incorporating monitors in reactive synthesis without paying the price. (English) Zbl 1497.68284
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, 337-353 (2021).
Boolean polynomials, BDDs and CRHS equations – connecting the dots with CryptaPath. (English) Zbl 1485.94094
Dunkelman, Orr (ed.) et al., Selected areas in cryptography. 27th international conference, Halifax, NS, Canada (virtual event), October 21–23, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12804, 229-251 (2021).
Parametric toricity of steady state varieties of reaction networks. (English) Zbl 07497962
Boulier, François (ed.) et al., Computer algebra in scientific computing. 23rd international workshop, CASC 2021, Sochi, Russia, September 13–17, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12865, 314-333 (2021).
MSC:
68W30
Algorithmic reduction of biological networks with multiple time scales. (English) Zbl 1484.13058
Reviewer: Hamid Rahkooy (Saarbrücken)
Why make things simple when you can make them complicated? An appreciation of Lewis Carroll’s symbolic logic. (English) Zbl 1490.03003
Reviewer: Bernd Buldt (Fort Wayne)
Nearly linear time isomorphism algorithms for some nonabelian group classes. (English) Zbl 1490.20002
Reviewer: Dimitros Poulakis (Thessaloniki)
Introduction to computation. Haskell, logic and automata. (English) Zbl 1497.68005
Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-030-76907-9/pbk; 978-3-030-76908-6/ebook). xvi, 366 p. (2021).
Reviewer: Dieter Riebesehl (Lüneburg)
A logic based approach to finding real singularities of implicit ordinary differential equations. (English) Zbl 1500.34015
Groups with self-simulable zero-dimensional dynamics. arXiv:2104.05141
Preprint, arXiv:2104.05141 [math.GR] (2021).
First-order tests for toricity. (English) Zbl 07635849
Boulier, François (ed.) et al., Computer algebra in scientific computing. 22nd international workshop, CASC 2020, Linz, Austria, September 14–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12291, 510-527 (2020).
MSC:
68W30
Synthesizing imperative code from answer set programming specifications. (English) Zbl 1502.68075
Gabbrielli, Maurizio (ed.), Logic-based program synthesis and transformation. 29th international symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12042, 75-89 (2020).
Farkas-based tree interpolation. (English) Zbl 1474.68321
Pichardie, David (ed.) et al., Static analysis. 27th international symposium, SAS 2020, virtual event, November 18–20, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12389, 357-379 (2020).
Symbolic similarity relations for tuning fully integrated fuzzy logic programs. (English) Zbl 1478.68042
Gutiérrez-Basulto, Víctor (ed.) et al., Rules and reasoning. 4th international joint conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12173, 150-158 (2020).
The bounded and precise word problems for presentations of groups. (English) Zbl 1536.20004
Memoirs of the American Mathematical Society 1281. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4143-2/pbk; 978-1-4704-5804-1/ebook). v, 106 p. (2020).
Accelerating parameter synthesis using semi-algebraic constraints. (English) Zbl 1540.68127
Ahrendt, Wolfgang (ed.) et al., Integrated formal methods. 15th international conference, IFM 2019, Bergen, Norway, December 2–6, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11918, 27-45 (2019).
Metric temporal graph logic over typed attributed graphs. (English) Zbl 1524.68230
Hähnle, Reiner (ed.) et al., Fundamental approaches to software engineering. 22nd international conference, FASE 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11424, 282-298 (2019).
On the solutions of the universal differential equation with three regular singularities (on solutions of \(KZ_3)\). (English) Zbl 1492.05164
A dynamic approach for combining abstract argumentation semantics. (English) Zbl 07229664
Liao, Beishui (ed.) et al., Dynamics, uncertainty and reasoning. Selected papers of the second Chinese conference on logic and argumentation (CLAR 2018), Hangzhou, China, June 16–17, 2018. Singapore: Springer. Log. Asia: Stud. Log. Libr., 21-43 (2019).
Interval temporal logic decision tree learning. (English) Zbl 1525.68157
Calimeri, Francesco (ed.) et al., Logics in artificial intelligence. 16th European conference, JELIA 2019, Rende, Italy, May 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11468, 778-793 (2019).
Symbolic unfolding of multi-adjoint logic programs. (English) Zbl 1430.68026
Cornejo, María Eugenia (ed.) et al., Trends in mathematics and computational intelligence. Selected papers based on the presentations at the 9th European symposium on computational intelligence and mathematics, ESCIM 2017, Faro, Portugal, October 4–7, 2017. Cham: Springer. Stud. Comput. Intell. 796, 43-51 (2019).
MSC:
68N17
The SAT+CAS method for combinatorial search with applications to best matrices. (English) Zbl 1434.05001
Reviewer: Ioan Tomescu (Bucureşti)
Nearly linear time isomorphism algorithms for some nonabelian group classes. (English) Zbl 1491.20005
van Bevern, René (ed.) et al., Computer science – theory and applications. 14th international computer science symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11532, 80-92 (2019).
Realization of aperiodic subshifts and uniform densities in groups. (English) Zbl 1437.37014
Reviewer: Alexei Kanel-Belov (Ramat-Gan)
Generalized rewrite theories and coherence completion. (English) Zbl 1517.68166
Rusu, Vlad (ed.), Rewriting logic and its applications. 12th international workshop, WRLA 2018, held as a satellite event of ETAPS, Thessaloniki, Greece, June 14–15, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11152, 164-183 (2018).
Bolesław Sobociński: the ace of the second generation of the LWS. (English) Zbl 1522.01090
Garrido, Ángel (ed.) et al., The Lvov-Warsaw school. Past and present. Cham: Birkhäuser. Stud. Univers. Log., 599-613 (2018).
Symbolic reasoning methods in rewriting logic and Maude. (English) Zbl 1509.68121
Moss, Lawrence S. (ed.) et al., Logic, language, information, and computation. 25th international workshop, WoLLIC 2018, Bogota, Colombia, July 24–27, 2018. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10944, 25-60 (2018).
Parallel identity testing for skew circuits with big powers and applications. (English) Zbl 1400.68091
Is the principle of contradiction a consequence of \(x^2=x\)? (English) Zbl 1408.03003
Reviewer: Jim Mackenzie (Sydney)
Presentations of topological full groups by generators and relations. (English) Zbl 1402.20047
Reviewer: Laurent Bartholdi (Göttingen)
Enumeration reducibility in closure spaces with applications to logic and algebra. (English) Zbl 1452.03096
Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 26, 11 p. (2017).
Monadic decomposition. (English) Zbl 1426.03026
Boole. (English) Zbl 1391.03007
Malpass, Alex (ed.) et al., The history of philosophical and formal logic. From Aristotle to Tarski. New York, NY: Bloomsbury Academic (ISBN 978-1-4725-1350-2/hbk). 143-161 (2017).
Reviewer: Davide Crippa (Paris)
Program logics and their applications. (English) Zbl 1389.68009
Reviewer: Fevzi Belli (Paderborn)
Monadic second-order logic on finite sequences. (English) Zbl 1387.03006
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 232-245 (2017).
Symbolic execution and thresholding for efficiently tuning fuzzy logic programs. (English) Zbl 1485.68039
Hermenegildo, Manuel V. (ed.) et al., Logic-based program synthesis and transformation. 26th international symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10184, 131-147 (2017).
Theory morphisms in Church’s type theory with quotation and evaluation. (English) Zbl 1367.68302
Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 147-162 (2017).
An algebraic approach for detecting nearly dangerous situations in expert systems. (English) Zbl 1524.68369
Martin Davis’s bibliography 1950–2015. (English) Zbl 1439.03012
Omodeo, Eugenio G. (ed.) et al., Martin Davis on computability, computational logic, and mathematical foundations. Cham: Springer. Outst. Contrib. Log. 10, 363-370 (2016).
Learning and reasoning with logic tensor networks. (English) Zbl 1430.68317
Adorni, Giovanni (ed.) et al., AI*IA 2016: advances in artificial intelligence. XVth international conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 – December 1, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10037, 334-348 (2016).
Filter Results by …
Document Type
- Journal Articles (392)
- Collection Articles (177)
- Books (81)
- arXiv Preprints (7)
all
top 5
Author
- Roanes-Lozano, Eugenio (13)
- Holt, Derek F. (9)
- Laita, Luis M. (9)
- Myasnikov, Alexei G. (7)
- d’Avila Garcez, Artur S. (6)
- Gabbay, Dov M. (6)
- González-Meneses, Juan (6)
- Hernando, Antonio (6)
- Roanes-Macías, Eugenio (6)
- Sturm, Thomas (6)
- Barbieri, Sebastián (5)
- Gebhardt, Volker (5)
- Lamb, Luís C. (5)
- Rees, Sarah (5)
- Birman, Joan S. (4)
- Diekert, Volker (4)
- Eick, Bettina (4)
- Epstein, David Bernard Alper (4)
- Gilman, Robert H. (4)
- Lohrey, Markus (4)
- Ostheimer, Gretchen (4)
- Roman’kov, Vitaliĭ Anatol’evich (4)
- Sims, Charles Coffin (4)
- Wiest, Bertold (4)
- Aubrun, Nathalie (3)
- Bujosa, Andrés (3)
- Carnap, Rudolf (3)
- Cooper, Stuart Barry (3)
- Gallier, Jean H. (3)
- Gómez-Zamalloa, Miguel (3)
- Inoue, Katsumi (3)
- Kapur, Deepak (3)
- Kechris, Alexander S. (3)
- Kharlampovich, Olga G. (3)
- Kohlhase, Michael (3)
- Linton, Stephen A. (3)
- Meseguer Guaita, José (3)
- Miasnikov, Alexei D. (3)
- Moreno, Ginés (3)
- Olarte, Carlos (3)
- Riaza, José Antonio (3)
- Rusu, Vlad (3)
- Sapir, Mark Valentinovich (3)
- Schaap, C. E. (3)
- Snyder, Wayne (3)
- Staples, John (3)
- Talcott, Carolyn L. (3)
- van der Mey, G. (3)
- Van der Poel, Willem Louis (3)
- Veanes, Margus (3)
- Abeles, Francine F. (2)
- Aït-Kaci, Hassan (2)
- Albert, Elvira (2)
- Albert, Luc (2)
- Arias, Jaime (2)
- Arusoaie, Andrei (2)
- Assmann, Björn (2)
- Bachmair, Leo (2)
- Bae, Kyungmin (2)
- Bartholdi, Laurent (2)
- Beneš, Nikola (2)
- Birget, Jean-Camille (2)
- Blutner, Reinhard (2)
- Borovik, Alexandre V. (2)
- Breazu-Tannen, Val (2)
- Brim, Luboš (2)
- Buss, Samuel R. (2)
- Calvez, Matthieu (2)
- Cao, Yongzhi (2)
- Carrasco-Vargas, Nicanor (2)
- Casas, Rafael (2)
- Caviness, Bob F. (2)
- Chang, Bor-Yuh Evan (2)
- Clarke, Edmund Melson jun. (2)
- Collins, George E. (2)
- Craven, Matthew J. (2)
- Criado, Regino (2)
- D’Antoni, Loris (2)
- Das, Bireswar (2)
- De Ledesma Otamendi, Luis (2)
- De Raedt, Luc (2)
- Dehornoy, Patrick (2)
- Delgrande, James P. (2)
- Dershowitz, Nachum (2)
- Detinko, Alla S. (2)
- Duan, Zhenhua (2)
- Durán, Francisco (2)
- Escobar, Santiago (2)
- Fages, François (2)
- Farmer, William M. (2)
- Flannery, Dane Laurence (2)
- Fribourg, Laurent (2)
- Gao, Kun (2)
- García-Díaz, Miguel (2)
- Gavrilenko, Yu. V. (2)
- Grattan-Guinness, Ivor (2)
- Grumberg, Orna (2)
- Gupta, Gopal (2)
- Haralick, Robert M. (2)
- Hartung, René (2)
- and 805 more Authors
all
top 5
Serial
- J. Symb. Log. (53)
- Bull. Symb. Log. (35)
- J. Symb. Comput. (27)
- Theor. Comput. Sci. (23)
- Int. J. Algebra Comput. (18)
- Mach. Learn. (6)
- J. Log. Comput. (6)
- Ann. Math. Artif. Intell. (6)
- J. Algebra (5)
- Inf. Comput. (5)
- J. Autom. Reasoning (5)
- Theory Pract. Log. Program. (5)
- Lect. Notes Comput. Sci. (5)
- Log. Methods Comput. Sci. (5)
- Artif. Intell. (4)
- Math. Comput. Simul. (4)
- Hist. Philos. Log. (4)
- Int. J. Approx. Reasoning (4)
- Form. Methods Syst. Des. (4)
- J. Appl. Log. (4)
- Groups Geom. Dyn. (4)
- Groups Complex. Cryptol. (4)
- Math. Comput. (3)
- Indag. Math. (3)
- J. Pure Appl. Algebra (3)
- Synthese (3)
- J. Log. Program. (3)
- Nord. J. Philos. Log. (3)
- J. Group Theory (3)
- Fundam. Inform. (3)
- Math. Comput. Sci. (3)
- J. Log. Algebr. Methods Program. (3)
- Commun. Algebra (2)
- Inf. Process. Lett. (2)
- Adv. Math. (2)
- Comput. J. (2)
- SIAM J. Comput. (2)
- Sov. Math., Dokl. (2)
- Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. (2)
- Math. Modelling (2)
- Ann. Pure Appl. Logic (2)
- Extr. Math. (2)
- Comput. Complexity (2)
- Exp. Math. (2)
- J. Math. Sci., New York (2)
- Log. J. IGPL (2)
- J. ACM (2)
- Ann. Math. (2) (2)
- Algebr. Geom. Topol. (2)
- J. Log. Algebr. Program. (2)
- APIC Stud. Data Process. (2)
- Lond. Math. Soc. Lect. Note Ser. (2)
- Log. Univers. (2)
- Philos. Sci., Paris (2)
- Texts Monogr. Symb. Comput. (2)
- Prikl. Diskretn. Mat. (2)
- Acta Inf. (1)
- Comput. Math. Appl. (1)
- Int. J. Theor. Phys. (1)
- Math. Gaz. (1)
- Math. Notes (1)
- Rev. Hist. Sci. (1)
- Rev. Roum. Math. Pures Appl. (1)
- Chaos Solitons Fractals (1)
- Math. Mag. (1)
- Acta Cybern. (1)
- Appl. Math. Comput. (1)
- Comput. Linguist. Comput. Lang. (1)
- Fundam. Math. (1)
- Fuzzy Sets Syst. (1)
- Geom. Dedicata (1)
- Glasg. Math. J. (1)
- IEEE Trans. Autom. Control (1)
- IEEE Trans. Comput. (1)
- Ill. J. Math. (1)
- Inf. Sci. (1)
- Int. J. Circuit Theory Appl. (1)
- J. Comput. Syst. Sci. (1)
- J. Philos. Log. (1)
- Kybernetes (1)
- Log. Anal., Nouv. Sér. (1)
- Math. Japon. (1)
- Math. Z. (1)
- Mem. Am. Math. Soc. (1)
- Osaka J. Math. (1)
- Proc. Am. Math. Soc. (1)
- Publ. Res. Inst. Math. Sci. (1)
- RAIRO, Inf. Théor. (1)
- Rostocker Math. Kolloq. (1)
- SIGSAM Bull. (1)
- Stud. Leibnitiana (1)
- Stud. Log. (1)
- Trans. Am. Math. Soc. (1)
- Southeast Asian Bull. Math. (1)
- Adv. Appl. Math. (1)
- Sci. Comput. Program. (1)
- Stat. Probab. Lett. (1)
- Fuzzy Math. (1)
- Parallel Comput. (1)
- New Generation Comput. (1)
- and 77 more Serials
all
top 5
Year of Publication
- 2024 (10)
- 2023 (11)
- 2022 (18)
- 2021 (15)
- 2020 (7)
- 2019 (14)
- 2018 (11)
- 2017 (11)
- 2016 (9)
- 2015 (13)
- 2014 (10)
- 2013 (14)
- 2012 (16)
- 2011 (23)
- 2010 (10)
- 2009 (6)
- 2008 (12)
- 2007 (10)
- 2006 (17)
- 2005 (25)
- 2004 (13)
- 2003 (12)
- 2002 (20)
- 2001 (23)
- 2000 (6)
- 1999 (23)
- 1998 (30)
- 1997 (15)
- 1996 (15)
- 1995 (17)
- 1994 (14)
- 1993 (21)
- 1992 (15)
- 1991 (21)
- 1990 (17)
- 1989 (16)
- 1988 (18)
- 1987 (9)
- 1986 (15)
- 1985 (10)
- 1984 (13)
- 1983 (6)
- 1982 (6)
- 1981 (7)
- 1980 (5)
- 1979 (3)
- 1978 (1)
- 1977 (4)
- 1976 (1)
- 1975 (4)
- 1974 (1)
- 1972 (1)
- 1971 (4)
- 1965 (2)
- 1960 (1)
- 1958 (1)
- 1957 (1)
- 1956 (1)
- 1954 (1)
- 1936 (1)
- 1934 (1)
all
top 3
Main Field
- 68-XX (471)
- 03-XX (378)
- 20-XX (131)
- 00-XX (49)
- 01-XX (41)
- 37-XX (26)
- 94-XX (16)
- 57-XX (14)
- 06-XX (13)
- 08-XX (13)
- 05-XX (10)
- 11-XX (10)
- 13-XX (10)
- 16-XX (10)
- 12-XX (9)
- 65-XX (7)
- 90-XX (6)
- 92-XX (6)
- 93-XX (6)
- 17-XX (5)
- 51-XX (5)
- 34-XX (4)
- 54-XX (4)
- 14-XX (2)
- 26-XX (2)
- 33-XX (2)
- 42-XX (2)
- 44-XX (2)
- 62-XX (2)
- 81-XX (2)
- 97-XX (2)
- 15-XX (1)
- 18-XX (1)
- 22-XX (1)
- 52-XX (1)
- 55-XX (1)
- 58-XX (1)
- 60-XX (1)
- 70-XX (1)
- 74-XX (1)
all
top 3
Biographic Reference
- Boole, George (4)
- Dodgson, Charles Lutwidge (2)
- MacColl, Hugh (2)
- Church, Alonzo (1)
- Davis, Martin David (1)
- Dedekind, Richard (1)
- Locke, John (1)
- Peacock, George (1)
- Peirce, Charles Sanders (1)
- Reyes Prósper, Ventura (1)
- Sobociński, Bolesław (1)
- Solly, Th. (1)
- Tarski, Alfred (1)
- Wallis, John (1)
all
top 3
Software
- GAP (13)
- Maple (13)
- QEPCAD (9)
- Coq (8)
- Maude (8)
- CoCoA (7)
- HOL (7)
- Magma (7)
- Mathematica (7)
- ProbLog (7)
- Adam (6)
- DeepProbLog (6)
- ML (6)
- REDLOG (5)
- SPIN (5)
- z3 (5)
- GitHub (4)
- Isabelle/HOL (4)
- Java PathFinder (4)
- NuSMV (4)
- PolyBoRi (4)
- SWI-Prolog (4)
- CUDD (3)
- ETPS (3)
- HOL Light (3)
- Matlab (3)
- Miranda (3)
- NeurASP (3)
- Nuprl (3)
- PRISM (3)
- PRMLT (3)
- Polenta (3)
- PyTorch (3)
- Theorema (3)
- WordNet (3)
- Yices (3)
- kbmag (3)
- ACL2 (2)
- AClib (2)
- ALGOL 60 (2)
- AUTOMATA (2)
- Automath (2)
- CBMC (2)
- CLEVR (2)
- CLEVR dataset (2)
- CUTE (2)
- CVC4 (2)
- Charge! (2)
- Curry (2)
- DART (2)
- ELAN (2)
- FR (2)
- HIP (2)
- IMPS (2)
- JML (2)
- K Prover (2)
- KANT/KASH (2)
- KRAKATOA (2)
- Keras (2)
- LOTOS (2)
- MACSYMA (2)
- MCMAS (2)
- MOCHA (2)
- MiniML (2)
- NQL (2)
- Neural Network Toolbox (2)
- OBJ3 (2)
- OSCAR (2)
- Oz (2)
- Pex (2)
- Polycyclic (2)
- PyG (2)
- QuickCheck (2)
- REDUCE (2)
- REVE (2)
- RelNN (2)
- SICStus (2)
- SLAM (2)
- STP (2)
- Strix (2)
- TensorLog (2)
- Toolchain (2)
- VeriFast (2)
- Why3 (2)
- YALMIP (2)
- ABETS (1)
- ACE (1)
- ACL2s (1)
- ACUOS2 (1)
- ADD-Lib (1)
- AGATHA (1)
- AGEDIS (1)
- ALBERT (1)
- ALNUTH (1)
- APS (1)
- APS-1 (1)
- AQCS (1)
- ASASP (1)
- ATGen (1)
- Acacia+ (1)
- and 245 more Software Packages
