Found 422 Documents (Results 1–100)
Discrepancy and sparsity. (English) Zbl 07923445
Well partial orders. (English) Zbl 07920713
Bezhanishvili, Nick (ed.) et al., Dick de Jongh on intuitionistic and provability logics. Cham: Springer. Outst. Contrib. Log. 28, 273-301 (2024).
On testability of first-order properties in bounded-degree graphs and connections to proximity-oblivious testing. (English) Zbl 07882244
The amoeba dimension of a linear space. (English) Zbl 07843753
Reviewer: Arne Kuhrs (Frankfurt am Main)
(Extra)ordinary equivalences with the ascending/descending sequence principle. (English) Zbl 07827890
Algebras of binary formulas for weakly circularly minimal theories with trivial definable closure. (English. Russian original) Zbl 07825248
Sib. Math. J. 65, No. 2, 316-327 (2024); translation from Sib. Mat. Zh. 65, No. 2, 318-331 (2024).
Phase diagram and topological expansion in the complex quartic random matrix model. (English) Zbl 1537.81167
(Towards a) statistical probabilistic lazy lambda calculus. (English) Zbl 07920701
Palmigiano, Alessandra (ed.) et al., Samson Abramsky on logic and structure in computer science and beyond. Cham: Springer. Outst. Contrib. Log. 25, 1073-1094 (2023).
Minimality conditions, topologies, and ranks for spherically ordered theories. (English) Zbl 07896783
Constraint satisfaction problem: what makes the problem easy. (English) Zbl 07823032
Beliaev, Dmitry (ed.) et al., International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6–14, 2022. Volume 3. Sections 1–4. Berlin: European Mathematical Society (EMS). 1530-1552 (2023).
Ramsey theory of homogeneous structures: current trends and open problems. (English) Zbl 07823029
Beliaev, Dmitry (ed.) et al., International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6–14, 2022. Volume 3. Sections 1–4. Berlin: European Mathematical Society (EMS). 1462-1486 (2023).
The chain covering number of a poset with no infinite antichains. (Le nombre de chaînes recouvrant un ensemble ordonné sans antichaînes infinies.) (English. French summary) Zbl 07811805
Set-homogeneous hypergraphs. (English) Zbl 07780663
Improved NP-hardness of approximation for orthogonality dimension and minrank. (English) Zbl 1527.05060
On the logical strength of the better quasi order with three elements. (English) Zbl 07732000
Reviewer: Lorenzo Carlucci (Roma)
Segment transit function of the induced path function of graphs and its first-order definability. (English) Zbl 1541.05095
Banerjee, Mohua (ed.) et al., Logic and its applications. 10th Indian conference, ICLA 2023, Indore, India, March 3–5, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13963, 117-129 (2023).
Almost theorems of hyperarithmetic analysis. (English) Zbl 1525.03056
Reviewer: Jeffry L. Hirst (Boone)
Bijections between planar maps and planar linear normal \(\lambda\)-terms with connectivity condition. (English) Zbl 07686838
Halin’s end degree conjecture. (English) Zbl 07677684
The role of the axiom of choice in proper and distinguishing colourings. (English) Zbl 1510.05086
Reviewer: Nicolás Sanhueza-Matamala (Praha)
Bounded-depth Frege complexity of Tseitin formulas for all graphs. (English) Zbl 1516.03021
Reviewer: Ariel Germán Fernández (Buenos Aires)
Limiting probabilities of first order properties of random sparse graphs and hypergraphs. (English) Zbl 1522.05494
Monadic stability and growth rates of \(\omega\)-categorical structures. (English) Zbl 1523.03010
Reviewer: Hirokazu Nishimura (Tsukuba)
Borel fractional colorings of Schreier graphs. (Coloriages fractionnaires Boréliens de graphes de Schreier.) (English. French summary) Zbl 07699342
Fast left Kan extensions using the chase. (English) Zbl 1515.18003
Reviewer: Hirokazu Nishimura (Tsukuba)
Logics of order and related notions. (English) Zbl 07625360
MSC:
03-XX
On the uncountability of \(\mathbb{R}\). (English) Zbl 1523.03004
Reviewer: Jeffry L. Hirst (Boone)
A mathematical commitment without computational strength. (English) Zbl 1523.03027
Reviewer: Victor V. Pambuccian (Glendale)
Topological ubiquity of trees. (English) Zbl 1497.05034
A parameterized view on the complexity of dependence logic. (English) Zbl 1541.68222
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13137, 125-142 (2022).
Tree automata and pigeonhole classes of matroids. I. (English) Zbl 1494.68136
Reviewer: Andreas Maletti (Leipzig)
IB-homogeneous graphs. (English) Zbl 07541611
Unique key Horn functions. (English) Zbl 1500.68005
Reviewer: Hirokazu Nishimura (Tsukuba)
Theorems of hyperarithmetic analysis and almost theorems of hyperarithmetic analysis. (English) Zbl 1505.03025
Reviewer: Jeffry L. Hirst (Boone)
\(\gamma\)-variable first-order logic of uniform attachment random graphs. (English) Zbl 1491.05171
Reviewer: Ágnes Backhausz (Budapest)
Parameterised complexity of model checking and satisfiability in propositional dependence logic. (English) Zbl 1534.68108
There are exactly \(\omega_1\) topological types of locally finite trees with countably many rays. (English) Zbl 1482.05039
Computability theory. Abstracts from the workshop held April 25 – May 1, 2021 (hybrid meeting). (English) Zbl 1506.00048
Graph pattern detection: hardness for all induced patterns and faster noninduced cycles. (English) Zbl 1478.05145
Near-optimal lower bounds on regular resolution refutations of Tseitin formulas for all constant-degree graphs. (English) Zbl 1497.03066
Comput. Complexity 30, No. 2, Paper No. 13, 74 p. (2021); correction ibid. 30, No. 2, Paper No. 16, 2 p. (2021).
Reviewer: Ariel Germán Fernández (Buenos Aires)
Star games and hydras. (English) Zbl 1535.68121
Splittings in varieties of logic. (English) Zbl 1485.06006
Reviewer: Ivan Chajda (Přerov)
Base partition for mixed families of finitary and cofinitary matroids. (English) Zbl 1474.05040
Reviewer: Brigitte Servatius (Worcester)
Ramsey theory for highly connected monochromatic subgraphs. (English) Zbl 1474.03111
Reviewer: Tomasz Natkaniec (Gdańsk)
Metrically homogeneous graphs of diameter \(3\). (English) Zbl 1490.03020
Reviewer: Vera Koponen (Uppsala)
Classes of graphs with low complexity: the case of classes with bounded linear rankwidth. (English) Zbl 1458.05226
Remarks on Gitik’s model and symmetric extensions on products of the Lévy collapse. (English) Zbl 1521.03174
Betweenness in order-theoretic trees. (English) Zbl 1509.03030
Blass, Andreas (ed.) et al., Fields of logic and computation III. Essays dedicated to Yuri Gurevich on the occasion of his 80th birthday. Cham: Springer. Lect. Notes Comput. Sci. 12180, 79-94 (2020).
Betweenness of partial orders. (English) Zbl 1484.03050
What’s decidable about program verification modulo axioms? (English) Zbl 1483.68200
Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12079, 158-177 (2020).
Dickson’s lemma, Higman’s theorem and beyond: a survey of some basic results in order theory. (English) Zbl 1484.06004
Counting bounded tree depth homomorphisms. (English) Zbl 1498.05135
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 507-520 (2020).
Lower bounds for QBFs of bounded treewidth. (English) Zbl 07299485
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 410-424 (2020).
Semantic limits of dense combinatorial objects. (English. Russian original) Zbl 1498.03068
Russ. Math. Surv. 75, No. 4, 627-723 (2020); translation from Usp. Mat. Nauk 75, No. 4, 45-152 (2020).
Filter Results by …
Document Type
- Journal Articles (352)
- Collection Articles (68)
- Books (2)
all
top 5
Author
- Courcelle, Bruno (19)
- Nešetřil, Jaroslav (18)
- Ossona de Mendez, Patrice (12)
- Grohe, Martin (9)
- Makowsky, Johann-Andreas (9)
- Martin, Barnaby D. (9)
- Shelah, Saharon (9)
- Bodirsky, Manuel (8)
- Koponen, Vera (7)
- Siebertz, Sebastian (7)
- Szeider, Stefan (7)
- Dawar, Anuj (6)
- Hubička, Jan (6)
- Lachlan, Alistair H. (6)
- Shore, Richard Arnold (6)
- Itsykson, Dmitry M. (5)
- Cherlin, Gregory L. (4)
- Downey, Rodney Graham (4)
- Fellows, Michael Ralph (4)
- Ganian, Robert (4)
- Komjáth, Péter (4)
- Konečný, Matěj (4)
- Kreutzer, Stephan (4)
- Pilipczuk, Michał (4)
- Pinsker, Michael (4)
- Pitz, Max F. (4)
- Pouzet, Maurice (4)
- Terry, Caroline A. (4)
- Woodrow, Robert E. (4)
- Zeilberger, Noam (4)
- Aharoni, Ron (3)
- Aranda, Andrés (3)
- Atserias, Albert (3)
- Blumensath, Achim (3)
- Bojańczyk, Mikołaj (3)
- Braunfeld, Samuel (3)
- Bulatov, Andrei A. (3)
- De Oliveira Oliveira, Mateus (3)
- Džamonja, Mirna (3)
- Erdős, Pál (3)
- Frankl, Péter (3)
- Galesi, Nicola (3)
- Hliněný, Petr (3)
- Jonsson, Peter (3)
- Joó, Attila (3)
- Kotek, Tomer (3)
- Laskowski, Michael Chris (3)
- Marcone, Alberto (3)
- Mayhew, Dillon (3)
- Mottet, Antoine (3)
- Newman, Michael William (3)
- Nguyen Van Thé, Lionel (3)
- Noy, Marc (3)
- Policriti, Alberto (3)
- Pongrácz, András (3)
- Ravve, Elena V. (3)
- Razborov, Aleksandr Aleksandrovich (3)
- Riazanov, Artur (3)
- Schaefer, Marcus (3)
- Schmerl, James H. (3)
- Štefankovič, Daniel (3)
- Adler, Isolde (2)
- Ahlman, Ove (2)
- Barto, Libor (2)
- Bernshteyn, Anton (2)
- Bodlaender, Hans L. (2)
- Boudabbous, Youssef (2)
- Bovykin, Andrey I. (2)
- Bowler, Nathan (2)
- Changat, Manoj (2)
- Corradini, Andrea (2)
- Dalmau, Víctor (2)
- Dobrinen, Natasha L. (2)
- Eiben, Eduard (2)
- Eppstein, David Arthur (2)
- Erde, Joshua (2)
- Evans, David M. (2)
- Fischer, Eldar (2)
- Flood, Stephen P. (2)
- Flum, Jörg (2)
- Freund, Anton (2)
- Funk, Daryl (2)
- Glaßer, Christian (2)
- Glinskih, Ludmila (2)
- Gollin, J. Pascal (2)
- Hashimoto, Hiroshi (2)
- Havvaei, Elham (2)
- Jackson, Marcel G. (2)
- Jiang, Yiting (2)
- Katona, Gyula O. H. (2)
- Kolaitis, Phokion G. (2)
- König, Barbara (2)
- Kornell, Andre (2)
- Král’, Daniel (2)
- Laflamme, Claude (2)
- Langer, Alexander (2)
- Macpherson, Dugald (2)
- Magidor, Menachem (2)
- Mahmood, Yasir (2)
- Marks, Andrew S. (2)
- and 463 more Authors
all
top 5
Serial
- Ann. Pure Appl. Logic (26)
- J. Symb. Log. (23)
- Discrete Math. (18)
- Theor. Comput. Sci. (16)
- Eur. J. Comb. (15)
- J. Comb. Theory, Ser. B (12)
- Combinatorica (12)
- Discrete Appl. Math. (10)
- J. Comb. Theory, Ser. A (10)
- Arch. Math. Logic (10)
- Log. Methods Comput. Sci. (10)
- Proc. Am. Math. Soc. (8)
- Trans. Am. Math. Soc. (7)
- Math. Log. Q. (7)
- Theory Comput. Syst. (7)
- Electron. J. Comb. (6)
- Isr. J. Math. (5)
- SIAM J. Comput. (5)
- Algorithmica (5)
- J. Comput. Syst. Sci. (4)
- Notre Dame J. Formal Logic (4)
- Acta Math. Hung. (4)
- J. Autom. Reasoning (4)
- Acta Math. Univ. Comen., New Ser. (4)
- Bull. Symb. Log. (4)
- ACM Trans. Comput. Log. (4)
- Stud. Log. (3)
- Order (3)
- J. Math. Log. (3)
- J. Appl. Log. (3)
- Contrib. Discrete Math. (3)
- Artif. Intell. (2)
- J. Math. Anal. Appl. (2)
- Adv. Math. (2)
- Ann. Mat. Pura Appl. (4) (2)
- Fundam. Math. (2)
- Mem. Am. Math. Soc. (2)
- Proc. Lond. Math. Soc. (3) (2)
- Topology Appl. (2)
- Adv. Appl. Math. (2)
- Graphs Comb. (2)
- Inf. Comput. (2)
- Int. J. Approx. Reasoning (2)
- Random Struct. Algorithms (2)
- Comput. Complexity (2)
- Comb. Probab. Comput. (2)
- Ann. Math. Artif. Intell. (2)
- C. R., Math., Acad. Sci. Paris (2)
- J. Noncommut. Geom. (2)
- Ann. Henri Lebesgue (2)
- Arch. Math. Logik Grundlagenforsch. (1)
- Commun. Pure Appl. Math. (1)
- Int. J. Theor. Phys. (1)
- Inf. Process. Lett. (1)
- Math. Proc. Camb. Philos. Soc. (1)
- Period. Math. Hung. (1)
- Russ. Math. Surv. (1)
- Algebra Univers. (1)
- Ann. Inst. Fourier (1)
- Arch. Math. (1)
- Bull. Lond. Math. Soc. (1)
- Commentat. Math. Univ. Carol. (1)
- Fuzzy Sets Syst. (1)
- Inf. Sci. (1)
- J. Algebra (1)
- J. Graph Theory (1)
- J. Lond. Math. Soc., II. Ser. (1)
- J. Math. Psychol. (1)
- Kyungpook Math. J. (1)
- Math. Syst. Theory (1)
- Mathematika (1)
- Sib. Math. J. (1)
- Stud. Appl. Math. (1)
- Cybernetics (1)
- Ergodic Theory Dyn. Syst. (1)
- SIAM J. Algebraic Discrete Methods (1)
- Optimization (1)
- J. Am. Math. Soc. (1)
- SIAM J. Discrete Math. (1)
- Ann. Oper. Res. (1)
- Int. J. Algebra Comput. (1)
- Int. J. Found. Comput. Sci. (1)
- Des. Codes Cryptography (1)
- Int. J. Comput. Math. (1)
- Bull. Am. Math. Soc., New Ser. (1)
- Expo. Math. (1)
- RAIRO, Inform. Théor. Appl. (1)
- Math. Program. (1)
- J. Algebr. Comb. (1)
- J. Logic Lang. Inf. (1)
- J. Funct. Program. (1)
- Soft Comput. (1)
- J. ACM (1)
- Discrete Math. Theor. Comput. Sci. (1)
- Ann. Math. (2) (1)
- J. Eur. Math. Soc. (JEMS) (1)
- Commun. Nonlinear Sci. Numer. Simul. (1)
- Fundam. Inform. (1)
- J. Appl. Math. Comput. (1)
- Found. Phys. (1)
- and 11 more Serials
all
top 5
Year of Publication
- 2025 (2)
- 2024 (22)
- 2023 (23)
- 2022 (24)
- 2021 (18)
- 2020 (30)
- 2019 (20)
- 2018 (27)
- 2017 (16)
- 2016 (24)
- 2015 (7)
- 2014 (11)
- 2013 (11)
- 2012 (18)
- 2011 (8)
- 2010 (10)
- 2009 (11)
- 2008 (20)
- 2007 (5)
- 2006 (6)
- 2005 (9)
- 2004 (5)
- 2003 (6)
- 2002 (1)
- 2001 (1)
- 2000 (2)
- 1999 (1)
- 1998 (1)
- 1997 (4)
- 1995 (3)
- 1994 (7)
- 1993 (4)
- 1992 (10)
- 1991 (6)
- 1990 (7)
- 1989 (5)
- 1988 (1)
- 1987 (2)
- 1986 (1)
- 1985 (4)
- 1984 (7)
- 1983 (2)
- 1982 (1)
- 1981 (2)
- 1980 (2)
- 1979 (3)
- 1978 (1)
- 1977 (1)
- 1976 (5)
- 1975 (2)
- 1974 (2)
- 1973 (1)
all
top 3
Main Field
- 03-XX (422)
- 05-XX (244)
- 68-XX (145)
- 06-XX (46)
- 20-XX (18)
- 08-XX (15)
- 54-XX (15)
- 60-XX (13)
- 91-XX (13)
- 37-XX (11)
- 15-XX (8)
- 22-XX (8)
- 00-XX (6)
- 51-XX (6)
- 81-XX (6)
- 18-XX (5)
- 52-XX (5)
- 11-XX (4)
- 28-XX (4)
- 94-XX (4)
- 14-XX (3)
- 90-XX (3)
- 92-XX (3)
- 97-XX (3)
- 12-XX (2)
- 35-XX (2)
- 46-XX (2)
- 47-XX (2)
- 01-XX (1)
- 30-XX (1)
- 32-XX (1)
- 43-XX (1)
- 62-XX (1)
- 82-XX (1)
all
top 3
Software
- OEIS (5)
- MONA (3)
- kepler98 (3)
- Autowrite (2)
- Coq (2)
- Flyspeck (2)
- Isar (2)
- Mizar (2)
- ACL2 (1)
- AEtnaNova (1)
- Archive Formal Proofs (1)
- CDCLSym (1)
- CPLEX (1)
- Clingo (1)
- ComputeTW (1)
- Coq/SSReflect (1)
- Datalog (1)
- Dijkstra Shortest Path (1)
- Edmonds-Karp (1)
- Finite Automata HF (1)
- GitHub (1)
- Graph Theory (1)
- Hereditarily Finite Sets (1)
- Jambox (1)
- Jordan (1)
- MathOverflow (1)
- PRMLT (1)
- Referee (1)
- Reveal (1)
- SAD (1)
- SageMath (1)
- Tame Graphs (1)
- Treewidthlib (1)
- nauty (1)