Found 265 Documents (Results 1–100)
Reasoning about regular properties: a comparative study. (English) Zbl 07838493
Pientka, Brigitte (ed.) et al., Automated deduction – CADE 29. 29th international conference on automated deduction, Rome, Italy, July 1–4, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14132, 286-306 (2023).
Antichains algorithms for the inclusion problem between \(\omega\)-VPL. (English) Zbl 07777310
Sankaranarayanan, Sriram (ed.) et al., Tools and algorithms for the construction and analysis of systems. 29th international conference, TACAS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13993, 290-307 (2023).
On the number of maximal antichains in Boolean lattices for \(n\) up to 7. (English) Zbl 07688799
Lobachevskii J. Math. 44, No. 1, 137-146 (2023); erratum ibid. 44, No. 4, 1528 (2023).
FORQ-based language inclusion formal testing. (English) Zbl 1514.68098
Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13372, 109-129 (2022).
MSC:
68Q45
A note on infinite antichain density. (English) Zbl 1492.05150
Reviewer: Stijn Cambie (Nijmegen)
MSC:
05D05
Infinite Sperner’s theorem. (English) Zbl 1484.05200
Simplifying alternating automata for emptiness testing. (English) Zbl 1520.68067
Oh, Hakjoo (ed.), Programming languages and systems. 19th Asian symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13008, 243-264 (2021).
MSC:
68Q45
Inquisitive Heyting algebras. (English) Zbl 1489.03027
Reviewer: Hongxing Liu (Jinan)
Coinductive algorithms for Büchi automata. (English) Zbl 1497.68272
MSC:
68Q45
The bounds for the number of linear extensions via chain and antichain coverings. (English) Zbl 1542.06004
MSC:
06A07
Abstraction refinement and antichains for trace inclusion of infinite state systems. (English) Zbl 1506.68046
MSC:
68Q45
On \(k\)-antichains in the unit \(n\)-cube. (English) Zbl 1474.28008
Reviewer: Hans Weber (Udine)
Language inclusion algorithms as complete abstract interpretations. (English) Zbl 1539.68134
Chang, Bor-Yuh Evan (ed.), Static analysis. 26th international symposium, SAS 2019, Porto, Portugal, October 8–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11822, 140-161 (2019).
MSC:
68Q45
Dialectical rough sets, parthood and figures of opposition. I. (English) Zbl 1504.68227
Peters, James F. (ed.) et al., Transactions on Rough Sets XXI. Berlin: Springer. Lect. Notes Comput. Sci. 10810, 96-141 (2019).
MSC:
68T37
Nested antichains for WS1S. (English) Zbl 1417.68182
Efficient reduction of nondeterministic automata with application to language inclusion testing. (English) Zbl 1515.68159
Regular separability of well-structured transition systems. (English) Zbl 1520.68092
Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 35, 18 p. (2018).
Modeling operational semantics with interval orders represented by sequences of antichains. (English) Zbl 1427.68155
Khomenko, Victor (ed.) et al., Application and theory of Petri nets and concurrency. 39th international conference, PETRI NETS 2018, Bratislava, Slovakia, June 24–29, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10877, 251-271 (2018).
Symbolic model checking in non-Boolean domains. (English) Zbl 1392.68259
Clarke, Edmund M. (ed.) et al., Handbook of model checking. Cham: Springer (ISBN 978-3-319-10574-1/hbk; 978-3-319-10575-8/ebook). 1111-1147 (2018).
MSC:
68Q60
Synthesising succinct strategies in safety games with an application to real-time scheduling. (English) Zbl 1393.68038
On the lattice of antichains of finite intervals. (English) Zbl 1412.06004
Reviewer: Marcel Wild (Stellenbosch)
Approximations from anywhere and general rough sets. (English) Zbl 1489.68291
Polkowski, Lech (ed.) et al., Rough sets. International joint conference, IJCRS 2017, Olsztyn, Poland, July 3–7, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10314, 3-22 (2017).
MSC:
68T37
Antichains of fixed diameter. (English) Zbl 1456.05166
MSC:
05D05
Lazy automata techniques for WS1S. (English) Zbl 1452.03090
Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 407-425 (2017).
Domains for higher-order games. (English) Zbl 1441.68125
Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 59, 15 p. (2017).
Random models for evaluating efficient Büchi universality checking. (English) Zbl 1483.68190
Ghosh, Sujata (ed.) et al., Logic and its applications. 7th Indian conference, ICLA 2017, Kanpur, India, January 5–7, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10119, 91-105 (2017).
Regular families of forests, antichains and duality pairs of relational structures. (English) Zbl 1399.68066
Reviewer: Gregory Loren McColm (Tampa)
Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes. (English) Zbl 1378.68122
From non-preemptive to preemptive scheduling using synchronization synthesis. (English) Zbl 1360.68346
Herrmann’s beautiful theorem on computable partial orderings. (English) Zbl 1471.03069
Day, Adam (ed.) et al., Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 10010, 127-133 (2017).
On variants of the principle of consistent choices, the minimal cover property and the 2-compactness of generalized Cantor cubes. (English) Zbl 1423.03182
Dynamical algebraic combinatorics and the homomesy phenomenon. (English) Zbl 1354.05146
Beveridge, Andrew (ed.) et al., Recent trends in combinatorics. Cham: Springer (ISBN 978-3-319-24296-5/hbk; 978-3-319-24298-9/ebook). The IMA Volumes in Mathematics and its Applications 159, 619-652 (2016).
Antichain based semantics for rough sets. (English) Zbl 1444.68236
Ciucci, Davide (ed.) et al., Rough sets and knowledge technology. 10th international conference, RSKT 2015, held as part of the international joint conference on rough sets, IJCRS 2015, Tianjin, China, November 20–23, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9436, 335-346 (2015).
MSC:
68T37
On commutative unary algebras with pairwise incomparable nontrivial congruences (topologies). (English) Zbl 1337.08002
The order of birational rowmotion. (English. French summary) Zbl 1394.06006
Proceedings of the 26th international conference on formal power series and algebraic combinatorics, FPSAC 2014, Chicago, IL, USA, June 29 – July 3, 2014. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings, 753-764 (2014).
An extremal problem on crossing vectors. (English) Zbl 1323.06003
MSC:
06A07
Ramsey theory, integer partitions and a new proof of the Erdős-Szekeres theorem. (English) Zbl 1295.05255
Automata learning: a categorical perspective. (English) Zbl 1407.68235
van Breugel, Franck (ed.) et al., Horizons of the mind. A tribute to Prakash Panangaden. Essays dedicated to Prakash Panangaden on the occasion of his 60th birthday. Berlin: Springer. Lect. Notes Comput. Sci. 8464, 384-406 (2014).
Multiprocessor schedulability of arbitrary-deadline sporadic tasks: complexity and antichain algorithm. (English) Zbl 1291.68081
Homomesy in products of two chains. (English) Zbl 1285.05012
Proceedings of the 25th international conference on formal power series and algebraic combinatorics, FPSAC 2013, Paris, France, June 24–28, 2013. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings, 945-956, electronic only (2013).
On orbits of order ideals of minuscule posets. (English) Zbl 1284.06008
Proceedings of the 25th international conference on formal power series and algebraic combinatorics, FPSAC 2013, Paris, France, June 24–28, 2013. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings, 193-204, electronic only (2013).
MSC:
06A07
05E15
Completely separating systems of \(k\)-sets for \(\binom{k-1}{2}\leq n<\binom{k}{2}\) or \(11\leq k\leq 12\). (English) Zbl 1278.05234
On orbits of order ideals of minuscule posets. (English) Zbl 1283.06007
MSC:
06A07
05E15
On the largest size of an antichain in the Bruhat order for \(\mathcal A (2k,k)\). (English) Zbl 1260.05024
Computably enumerable partial orders. (English) Zbl 1277.03039
Reviewer: Noam Greenberg (Wellington)
Counting and sampling minimum \((s,t)\)-cuts in weighted planar graphs in polynomial time. (English) Zbl 1236.05066
Verification of STM on relaxed memory models. (English) Zbl 1247.68165
MSC:
68Q60
Advanced Ramsey-based Büchi automata inclusion testing. (English) Zbl 1343.68130
Katoen, Joost-Pieter (ed.) et al., CONCUR 2011 – concurrency theory. 22nd international conference, CONCUR 2011, Aachen, Germany, September 6–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23216-9/pbk). Lecture Notes in Computer Science 6901, 187-202 (2011).
MSC:
68Q45
Strongly maximal antichains in posets. (English) Zbl 1233.06002
MSC:
06A06
On the size of maximal antichains and the number of pairwise disjoint maximal chains. (English) Zbl 1204.06002
MSC:
06A07
Fixed point guided abstraction refinement for alternating automata. (English) Zbl 1207.68186
MSC:
68Q45
Strategy construction for parity games with imperfect information. (English) Zbl 1232.91007
MSC:
91A05
Fixpoint guided abstraction refinement for alternating automata. (English) Zbl 1248.68295
Maneth, Sebastian (ed.), Implementation and application of automata. 14th international conference, CIAA 2009, Sydney, Australia, July 14–17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02978-3/pbk). Lecture Notes in Computer Science 5642, 155-164 (2009).
MSC:
68Q45
Random generation of deterministic tree (walking) automata. (English) Zbl 1248.68298
Maneth, Sebastian (ed.), Implementation and application of automata. 14th international conference, CIAA 2009, Sydney, Australia, July 14–17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02978-3/pbk). Lecture Notes in Computer Science 5642, 115-124 (2009).
MSC:
68Q45
Computing weakest strategies for safety games of imperfect information. (English) Zbl 1234.68259
Kowalewski, Stefan (ed.) et al., Tools and algorithms for the construction and analysis of systems. 15th international conference, TACAS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00767-5/pbk). Lecture Notes in Computer Science 5505, 92-106 (2009).
On orbits of antichains of positive roots. (English) Zbl 1165.06001
Reviewer: Egbert Harzheim (Köln)
Saturation points on faces of a rational polyhedral cone. (English) Zbl 1162.06008
Beck, Matthias (ed.) et al., Integer points in polyhedra—geometry, number theory, algebra, optimization, statistics. Proceedings of the AMS-IMS-SIAM joint summer research conference, Snowbird, UT, USA, June 11–15, 2006. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4173-0/pbk). Contemporary Mathematics 452, 147-161 (2008).
Reviewer: Marius Tărnăuceanu (Iaşi)
Filter Results by …
Document Type
- Journal Articles (219)
- Collection Articles (45)
- Books (1)
all
top 5
Author
- Holík, Lukáš (7)
- Raskin, Jean-François (7)
- Morvan, Michel (6)
- Frankl, Péter (5)
- Ganty, Pierre (5)
- Henzinger, Thomas A. (5)
- Pouzet, Maurice (5)
- Roby, Tom (5)
- Vojnar, Tomáš (5)
- Lonc, Zbigniew (4)
- Behrendt, Gerhard (3)
- Fiedor, Tomáš (3)
- Griggs, Jerrold R. (3)
- Koh, Khee Meng (3)
- Latka, Brenda J. (3)
- Lengál, Ondřej (3)
- Milner, Eric Charles (3)
- Rampon, Jean-Xavier (3)
- Rival, Ivan (3)
- Trotter, William T. jun. (3)
- Aharoni, Ron (2)
- Ahlswede, Rudolf (2)
- Andreae, Thomas (2)
- Andreeva, T. V. (2)
- Charpin, Pascale (2)
- Chatterjee, Krishnendu (2)
- Clemente, Lorenzo (2)
- Clements, G. F. (2)
- De Wulf, Martin (2)
- Doveri, Kyveli (2)
- Doyen, Laurent (2)
- Duffus, Dwight (2)
- Erdős, Péter L. (2)
- Farley, Jonathan David (2)
- Fomin, Sergey Vladimirovich (2)
- Fon-Der-Flaass, Dmitriĭ Germanovich (2)
- Geeraerts, Gilles (2)
- Goossens, Joël (2)
- Gronau, Hans-Dietrich O. F. (2)
- Guerraoui, Rachid (2)
- Gustedt, Jens (2)
- Habib, Michel (2)
- Harper, Lawrence H. (2)
- Héam, Pierre-Cyrille (2)
- Jakubík, Ján (2)
- Janicki, Ryszard (2)
- Jockusch, Carl G. jun. (2)
- Khachatrian, Levon H. (2)
- Kleitman, Daniel J. (2)
- Maquet, Nicolas (2)
- Matveev, Andrey O. (2)
- Mayr, Richard M. (2)
- Meyer, Roland (2)
- Muskalla, Sebastian (2)
- Nicaud, Cyril (2)
- Nourine, Lhouari (2)
- Oxley, James G. (2)
- Pous, Damien (2)
- Propp, James Gary (2)
- Roberts, Ian T. (2)
- Rogalewicz, Adam (2)
- Rush, David B. (2)
- Ruškuc, Nik (2)
- Sands, Bill (2)
- Sapozhenko, Aleksandr Antonovich (2)
- Schmitz, Sylvain (2)
- Shi, Xiaolin (2)
- Shyr, Huei-Jan (2)
- Singh, Vasu (2)
- Spiegel, Eugene (2)
- Tay, Eng Guan (2)
- Thierrin, Gabriel (2)
- Todorcevic, Stevo B. (2)
- Vargovčík, Pavol (2)
- Wagner, Stephan G. (2)
- Wang, Guojun (2)
- Wernisch, Lorenz (2)
- Abdulla, Parosh Aziz (1)
- Abraham, Uri (1)
- An, Lijian (1)
- Anderson, Marlow (1)
- Andriantiana, Eric Ould Dadah (1)
- Arocha, Jorge Luis (1)
- Aslanyan, Vahagn A. (1)
- Atkinson, Mike D. (1)
- Aydinian, Harout K. (1)
- Baldy, Philippe (1)
- Balister, Paul N. (1)
- Ball, Michael O. (1)
- Baumgartner, James Earl (1)
- Bekkali, Mohamed (1)
- Bell, Murray G. (1)
- Benoumhani, Moussa (1)
- Berge, Claude Jacques Roger (1)
- Berger, Eli (1)
- Bertrand, Nathalie (1)
- Berwanger, Dietmar (1)
- Bezáková, Ivona (1)
- Bochkov, Ivan (1)
- Bohy, Aaron (1)
- and 270 more Authors
all
top 5
Serial
- Order (27)
- Discrete Math. (20)
- J. Comb. Theory, Ser. A (11)
- Algebra Univers. (7)
- Eur. J. Comb. (7)
- J. Symb. Log. (5)
- Theor. Comput. Sci. (5)
- Electron. J. Comb. (5)
- Acta Inf. (4)
- J. Comb. Theory, Ser. B (4)
- J. Aust. Math. Soc., Ser. A (4)
- Form. Methods Syst. Des. (4)
- Ars Comb. (3)
- Czech. Math. J. (3)
- Graphs Comb. (3)
- SIAM J. Discrete Math. (3)
- Discrete Math. Appl. (3)
- Congr. Numerantium (3)
- Adv. Math. (2)
- Demonstr. Math. (2)
- Fundam. Math. (2)
- Int. J. Math. Math. Sci. (2)
- J. Graph Theory (2)
- SIAM J. Comput. (2)
- SIAM J. Algebraic Discrete Methods (2)
- Combinatorica (2)
- C. R. Acad. Sci., Paris, Sér. I (2)
- Fundam. Inform. (2)
- Lobachevskii J. Math. (2)
- Log. Methods Comput. Sci. (2)
- Commun. Algebra (1)
- Comput. Math. Appl. (1)
- Discrete Appl. Math. (1)
- Houston J. Math. (1)
- IEEE Trans. Inf. Theory (1)
- Math. Balk. (1)
- Rev. Roum. Math. Pures Appl. (1)
- Zh. Vychisl. Mat. Mat. Fiz. (1)
- Ark. Mat. (1)
- Math. Intell. (1)
- Beitr. Algebra Geom. (1)
- An. Inst. Mat., Univ. Nac. Autón. Méx. (1)
- Collect. Math. (1)
- Commentat. Math. Univ. Carol. (1)
- J. Math. Psychol. (1)
- J. Stat. Plann. Inference (1)
- Math. Ann. (1)
- Monatsh. Math. (1)
- Proc. Am. Math. Soc. (1)
- Proc. Lond. Math. Soc. (3) (1)
- Publ. Inst. Math., Nouv. Sér. (1)
- Publ. Math. Debr. (1)
- Q. J. Math., Oxf. II. Ser. (1)
- Rep. Math. Logic (1)
- Rostocker Math. Kolloq. (1)
- Semigroup Forum (1)
- Stud. Log. (1)
- Trans. Am. Math. Soc. (1)
- Util. Math. (1)
- Soochow J. Math. (1)
- Topology Appl. (1)
- Cybernetics (1)
- Adv. Appl. Math. (1)
- J. Inf. Optim. Sci. (1)
- Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. (1)
- Ric., Mat. Pure Appl. (1)
- Tamkang J. Manage. Sci. (1)
- Adv. Math., Beijing (1)
- Am. J. Math. Manage. Sci. (1)
- Sci. Explor. (1)
- Algorithmica (1)
- Inf. Comput. (1)
- J. Autom. Reasoning (1)
- J. Comb. Math. Comb. Comput. (1)
- Formal Asp. Comput. (1)
- Real-Time Syst. (1)
- Random Struct. Algorithms (1)
- Math. Pannonica (1)
- Comput. Geom. (1)
- Int. J. Algebra Comput. (1)
- Glas. Mat., III. Ser. (1)
- Distrib. Comput. (1)
- Arch. Math. Logic (1)
- Australas. J. Comb. (1)
- J. Algebr. Comb. (1)
- Tatra Mt. Math. Publ. (1)
- Bull. Belg. Math. Soc. - Simon Stevin (1)
- Acta Univ. M. Belii, Ser. Math. (1)
- Bull. Inst. Comb. Appl. (1)
- Mult.-Valued Log. (1)
- Discrete Math. Theor. Comput. Sci. (1)
- J. Integer Seq. (1)
- Visn., Mat. Mekh., Kyïv. Univ. Im. Tarasa Shevchenka (1)
- ACM Trans. Comput. Log. (1)
- Front. Math. China (1)
- Algorithms (Basel) (1)
- Mosc. J. Comb. Number Theory (1)
- Computability (1)
- Trans. Comb. (1)
- J. Discrete Math. (1)
- and 2 more Serials
all
top 5
Year of Publication
- 2024 (3)
- 2023 (4)
- 2022 (5)
- 2021 (8)
- 2020 (2)
- 2019 (8)
- 2018 (7)
- 2017 (11)
- 2016 (5)
- 2015 (6)
- 2014 (7)
- 2013 (11)
- 2012 (4)
- 2011 (5)
- 2010 (6)
- 2009 (6)
- 2008 (5)
- 2007 (3)
- 2006 (3)
- 2004 (2)
- 2003 (7)
- 2002 (8)
- 2001 (5)
- 2000 (4)
- 1999 (4)
- 1998 (3)
- 1997 (4)
- 1996 (6)
- 1995 (6)
- 1994 (9)
- 1993 (9)
- 1992 (9)
- 1991 (8)
- 1990 (4)
- 1989 (5)
- 1988 (5)
- 1987 (7)
- 1986 (4)
- 1985 (8)
- 1984 (8)
- 1983 (9)
- 1982 (5)
- 1981 (4)
- 1980 (8)
- 1979 (2)
- 1978 (2)
- 1976 (1)
all
top 3
Software
- Antichains (38)
- MONA (4)
- OEIS (4)
- GitHub (3)
- HIP (3)
- SPIN (3)
- ABC (2)
- Acacia+ (2)
- CUDD (2)
- Checkfence (2)
- FAST (2)
- LTL2BA (2)
- MTBDD (2)
- Pecan (2)
- REGAL (2)
- SageMath (2)
- Slide (2)
- VATA (2)
- z3 (2)
- 4ti2 (1)
- ADABU (1)
- Alpaga (1)
- Atomizer (1)
- AutoProof (1)
- BEEM (1)
- BLAST (1)
- BOXEL (1)
- BuDDy (1)
- CBMC (1)
- CVC4 (1)
- CoCoA (1)
- ConRepair (1)
- Coq (1)
- Dafny (1)
- EdgeIdeals (1)
- FDR3 (1)
- FMona (1)
- FastTrack (1)
- GAP (1)
- Goldilocks (1)
- Graphplan (1)
- HyTech (1)
- JBool (1)
- KeY (1)
- LTSA-WS (1)
- Limi (1)
- Liss (1)
- MRMC (1)
- Macaulay2 (1)
- MathSAT5 (1)
- MiniSat (1)
- NonEquivMACs (1)
- NuSMV (1)
- OCaml (1)
- OSTRICH+ (1)
- Omega+ (1)
- OpenJML (1)
- OpenNWA (1)
- PHAVer (1)
- PPL (1)
- PRISM (1)
- Perracotta (1)
- Rex (1)
- SINGULAR (1)
- SMArTIC (1)
- SMT-LIB (1)
- SPOT (1)
- Supremica (1)
- TRAU (1)
- TaPAS (1)
- UNITY (1)
- UPPAAL TIGA (1)
- Uppaal (1)
- VCC (1)
- Velodrome (1)
- VeriFast (1)
- Viper (1)
- Why3 (1)
- WhyML (1)
- Zing (1)
- cvc5 (1)
- libVATA (1)
- nuXmv (1)
- posets (1)
