Authors: de Berg, Mark, López Martínez, Andrés, Spieksma, Frits

Subject Terms: S-T MinCut, Diversity, Lattice Theory, Submodular Function Minimization, Theory of computation → Design and analysis of algorithms

File Description: application/pdf

Relation: https://dx.doi.org/10.4230/LIPIcs.ISAAC.2023; https://dx.doi.org/10.1016/j.artint.2021.103644; https://dx.doi.org/10.4230/LIPIcs.ISAAC.2020.26; https://dx.doi.org/10.1609/aaai.v36i4.20290; https://dx.doi.org/10.1137/1.9780898718508; https://dx.doi.org/10.1016/j.automatica.2021.110093

Availability: https://doi.org/10.4230/lipics.isaac.2023.2410.4230/LIPIcs.ISAAC.202310.1016/j.artint.2021.10364410.4230/LIPIcs.ISAAC.2020.2610.1609/aaai.v36i4.2029010.1137/1.978089871850810.1016/j.automatica.2021.110093

Authors: Moerman, Joshua, Sammartino, Matteo

Subject Terms: nominal automata, residual automata, derivative language, decidability, closure, exact learning, lattice theory, Theory of computation → Automata over infinite objects, Theory of computation → Automated reasoning

File Description: application/pdf

Relation: http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14748; https://www.mimuw.edu.pl/~bojan/paper/atom-book; https://mitpress.mit.edu/books/introduction-computational-learning-theory; http://hdl.handle.net/2066/204194; https://dx.doi.org/10.4230/LIPIcs.CONCUR.2020; https://dx.doi.org/10.1145/2103656.2103704; https://dx.doi.org/10.2168/LMCS-10(4:19)2014; https://dx.doi.org/10.1007/978-3-319-19225-3_1; https://dx.doi.org/10.1017/CBO9780511809088; https://dx.doi.org/10.1007/978-3-642-19805-2_25; https://dx.doi.org/10.1016/j.apal.2016.10.001; https://dx.doi.org/10.1142/S0129054110007532; https://dx.doi.org/10.1007/978-3-662-47666-6_23; https://dx.doi.org/10.1007/978-3-642-28729-9_17; https://dx.doi.org/10.4230/LIPIcs.STACS.2019.53; https://dx.doi.org/10.1007/978-3-662-54458-7_8

Availability: https://doi.org/10.4230/lipics.concur.2020.4410.4230/LIPIcs.CONCUR.202010.1145/2103656.210370410.2168/LMCS-10(4:19)201410.1007/978-3-319-19225-3_110.1017/CBO978051180908810.1007/978-3-642-19805-2_2510.1016/j.apal.2016.10.00110.1142/S012905411000753210.1007/978-3-662-47666-6_2310.1007/978-3-642-28729-9_1710.4230/LIPIcs.STACS.2019.5310.1007/978-3-662-54458-7_8

Authors: Yamada, Akihisa, Dubut, Jérémy

Subject Terms: Order Theory, Lattice Theory, Fixed-Points, Isabelle/HOL, Theory of computation → Interactive proof systems

File Description: application/pdf

Relation: http://isa-afp.org/entries/Complete_Non_Orders.html; https://dx.doi.org/10.4230/LIPIcs.ITP.2019; https://dx.doi.org/10.1007/11812289_4; https://dx.doi.org/10.1109/SEFM.2004.36; https://dx.doi.org/10.1007/978-3-319-11478-1; https://dx.doi.org/10.1007/978-3-642-14052-5_11; https://dx.doi.org/10.1007/978-3-642-14203-1_9; https://dx.doi.org/10.1017/CBO9780511809088; https://dx.doi.org/10.1017/CBO9780511542725; https://dx.doi.org/10.1017/fmp.2017.1; https://dx.doi.org/10.1007/10721959_7; https://dx.doi.org/10.1145/1629575.1629596; https://dx.doi.org/10.1007/3-540-45949-9; https://dx.doi.org/10.1007/BF02944982; https://dx.doi.org/10.4067/S0716-09172013000400008; https://dx.doi.org/10.1007/978-3-642-31374-5_38

Availability: https://doi.org/10.4230/lipics.itp.2019.3010.4230/LIPIcs.ITP.201910.1007/11812289_410.1109/SEFM.2004.3610.1007/978-3-319-11478-110.1007/978-3-642-14052-5_1110.1007/978-3-642-14203-1_910.1017/CBO978051180908810.1017/CBO978051154272510.1017/fmp.2017.110.1007/10721959_710.1145/1629575.162959610.1007/3-540-45949-910.1007/BF0294498210.4067/S0716-0917201300040000810.1007/978-3-642-31374-5_38

Authors: Kohonen, Jukka

Subject Terms: combinatorics, lattice theory, kombinatoriikka, hilateoria, Mathematics, FOS Mathematics, Matematiikka, Matematik, kombinatorihkka, kombinatorik, gitterteori

Availability: https://doi.org/10.23729/1c446a98-23f7-49a3-a040-f75fbd111c0d
https://etsin.fairdata.fi/dataset/41db0842-5bdb-4bb0-89f4-8c5f9c8a3bf1