×

Found 457 Documents (Results 1–100)

100
MathJax

Deriving theorems in implicational linear logic, declaratively. (English) Zbl 07455712

Ricca, Francesco (ed.) et al., Proceedings of the 36th international conference on logic programming (technical communications), ICLP 2020, UNICAL, Rende (CS), Italy, September 18–24, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 325, 110-123 (2020).
MSC:  68N17
PDF BibTeX XML Cite
Full Text: arXiv Link

Isomorphism theorems for basic constructive algebraic structures with special emphasize on constructive semigroups with apartness – an overview. (English) Zbl 1491.20115

Silvestrov, Sergei (ed.) et al., Algebraic structures and applications. Selected papers based on the presentations at the international conference on stochastic processes and algebraic structures – from theory towards applications, SPAS 2017, Västerås and Stockholm, Sweden, October 4–6, 2017. Cham: Springer. Springer Proc. Math. Stat. 317, 653-686 (2020).
MSC:  20M10 20M15 03F65
PDF BibTeX XML Cite
Full Text: DOI

Counting restricted homomorphisms via Möbius inversion over matroid lattices. (English) Zbl 1442.68075

Pruhs, Kirk (ed.) et al., 25th European symposium on algorithms, ESA 2017, Vienna, Austria, September 4–6, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 87, Article 63, 14 p. (2017).
MSC:  68Q27 05B35 05C60
PDF BibTeX XML Cite
Full Text: DOI arXiv

On the hereditary \((p,q)\)-Helly property of hypergraphs, cliques, and bicliques. (English) Zbl 1347.05124

Campêlo, Manoel (ed.) et al., LAGOS ’15. Selected papers of the 8th Latin-American algorithms, graphs, and optimization symposium, Praia das Fontes, Beberibe, Brazil, May 11–15, 2015. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 50, 361-366, electronic only (2015).
PDF BibTeX XML Cite
Full Text: DOI

Isomorphism theorems: Markov processes, Gaussian processes and beyond. (English) Zbl 1338.60193

Gayrard, Véronique (ed.) et al., Correlated random systems: five different methods. CIRM Jean-Morlet Chair, Marseille, France, spring 2013. Cham: Springer (ISBN 978-3-319-17673-4/pbk; 978-3-319-17674-1/ebook). Lecture Notes in Mathematics 2143, 121-177 (2015).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software