×

Found 1,282 Documents (Results 1–100)

100
MathJax

Algorithmic problems in the symbolic approach to the verification of automatically synthesized cryptosystems. (English) Zbl 07497926

Konev, Boris (ed.) et al., Frontiers of combining systems. 13th international symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12941, 253-270 (2021).
MSC:  68Txx
PDF BibTeX XML Cite
Full Text: DOI

Nominal unification with letrec and environment-variables. (English) Zbl 07496643

Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 95-112 (2021).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI

Confluence and commutation for nominal rewriting systems with atom-variables. (English) Zbl 07496641

Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 56-73 (2021).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI

Nominal equational problems. (English) Zbl 07410417

Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 22-41 (2021).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Unified superfluid dark sector. (English) Zbl 1471.83014

Paranjape, M. B. (ed.) et al., Quantum theory and symmetries. Proceedings of the 11th international symposium, Montréal, Canada, July 1–5, 2019. Cham: Springer. CRM Ser. Math. Phys., 437-445 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

On solving nominal disunification constraints. (English) Zbl 07297789

Felty, Amy (ed.) et al., 14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 348, 3-22 (2020).
MSC:  03B70 03B40 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Game equilibria and transition dynamics in complete networks and in a triangle with heterogeneous agents. (English. Russian original) Zbl 1455.91056

Autom. Remote Control 81, No. 6, 1149-1165 (2020); translation from Mat. Teor. Igr Prilozh. 10, No. 2, 3-26 (2018).
PDF BibTeX XML Cite
Full Text: DOI

Contact logic is finitary for unification with constants. (English) Zbl 1484.03045

Ju, Shier (ed.) et al., Nonclassical logics and their applications. Post-proceedings of the 8th international workshop on logic and cognition, WOLC 2016, Guangzhou, China, December 5–9, 2016. Singapore: Springer. Log. Asia: Stud. Log. Libr., 85-104 (2020).
PDF BibTeX XML Cite
Full Text: DOI HAL

Introduction to logic programming. (English) Zbl 1451.68003

Synthesis Lectures on Artificial Intelligence and Machine Learning 44. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-68173-724-9/hbk; 978-1-68173-722-5/pbk; 978-1-68173-723-2/ebook). xx, 199 p. (2020).
MSC:  68-01 68N17
PDF BibTeX XML Cite
Full Text: DOI

An eventful journey to unification of all the fundamental forces. (English) Zbl 1435.83003

Hackensack, NJ: World Scientific (ISBN 978-981-12-1014-3/hbk; 978-981-121-016-7/ebook). xv, 159 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI

A generic framework for higher-order generalizations. (English) Zbl 07559276

Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 10, 19 p. (2019).
MSC:  03B70 68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Stability defect estimation for sets in a game approach problem at a fixed moment of time. (English. Russian original) Zbl 1447.93268

Dokl. Math. 100, No. 3, 533-537 (2019); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 489, No. 2, 136-141 (2019).
MSC:  93D05 93C15 91A40
PDF BibTeX XML Cite
Full Text: DOI

Asymmetric unification and disunification. (English) Zbl 1444.68088

Lutz, Carsten (ed.) et al., Description logic, theory combination, and all that. Essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 11560, 497-522 (2019).
MSC:  68Q42 68Q25
PDF BibTeX XML Cite
Full Text: DOI arXiv

Nominal syntax with atom substitutions: matching, unification, rewriting. (English) Zbl 1477.68137

Gąsieniec, Leszek Antoni (ed.) et al., Fundamentals of computation theory. 22nd international symposium, FCT 2019, Copenhagen, Denmark, August 12–14, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11651, 64-79 (2019).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI Link

Rule-based unification in combined theories and the finite variant property. (English) Zbl 1425.68161

Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 356-367 (2019).
MSC:  68Q42 03B70
PDF BibTeX XML Cite
Full Text: DOI Link

A formalisation of nominal C-matching through unification with protected variables. (English) Zbl 1433.68186

Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 47-65 (2019).
MSC:  68Q42 68V15 68V20
PDF BibTeX XML Cite
Full Text: DOI

Krasovskii’s unification method and the stability defect of sets in a game problem of approach on a finite time interval. (English) Zbl 1426.91041

Kondratenko, Yuriy P. (ed.) et al., Advanced control techniques in complex engineering systems: theory and applications. Dedicated to Professor Vsevolod M. Kuntsevich. Cham: Springer. Stud. Syst. Decis. Control 203, 83-104 (2019).
MSC:  91A24 93D05
PDF BibTeX XML Cite
Full Text: DOI

Actor-like cP systems. (English) Zbl 07115222

Hinze, Thomas (ed.) et al., Membrane computing. 19th international conference, CMC 2018, Dresden, Germany, September 4–7, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11399, 160-187 (2019).
MSC:  68Q05 68Q10
PDF BibTeX XML Cite
Full Text: DOI

Nominal unification with atom and context variables. (English) Zbl 1462.68026

Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 28, 20 p. (2018).
MSC:  68N18 68Q42 68V15
PDF BibTeX XML Cite
Full Text: DOI

Higher-order equational pattern anti-unification. (English) Zbl 1462.68092

Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 12, 17 p. (2018).
MSC:  68Q42 03B40 68Q25
PDF BibTeX XML Cite
Full Text: DOI arXiv

Term-graph anti-unification. (English) Zbl 1462.68091

Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 9, 17 p. (2018).
MSC:  68Q42 68R10
PDF BibTeX XML Cite
Full Text: DOI

Fixed-point constraints for nominal equational unification. (English) Zbl 1462.68089

Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 7, 16 p. (2018).
MSC:  68Q42 03B70
PDF BibTeX XML Cite
Full Text: DOI

Unification nets: canonical proof net quantifiers. (English) Zbl 1452.03134

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 540-549 (2018).
MSC:  03F52
PDF BibTeX XML Cite
Full Text: DOI arXiv

Possible alternative mechanism to SUSY: conservative extensions of the Poincaré group. (English) Zbl 1406.81094

Dobrev, Vladimir (ed.), Quantum theory and symmetries with Lie theory and its applications in physics. Volume 2. QTS-X/LT-XII, Varna, Bulgaria, June 19–25, 2017. Singapore: Springer (ISBN 978-981-13-2178-8/hbk; 978-981-13-2179-5/ebook). Springer Proceedings in Mathematics & Statistics 255, 353-362 (2018).
PDF BibTeX XML Cite
Full Text: DOI arXiv

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

all top 3

Software