×

Found 1,467 Documents (Results 1–100)

100
MathJax

Nonlinear pattern matching in rule-based modeling languages. (English) Zbl 07532543

Cinquemani, Eugenio (ed.) et al., Computational methods in systems biology. 19th international conference, CMSB 2021, Bordeaux, France, September 22–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12881, 198-214 (2021).
MSC:  92C42 92C40 92-08
PDF BibTeX XML Cite
Full Text: DOI

Formal verification of a Java component using the RESOLVE framework. (English) Zbl 07497928

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, 287-305 (2021).
MSC:  68Txx
PDF BibTeX XML Cite
Full Text: DOI

Generating functions for probabilistic programs. (English) Zbl 07496650

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, 231-248 (2021).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI

Categorical semantics of a simple differential programming language. (English) Zbl 1477.68262

Spivak, David I. (ed.) et al., Proceedings of the 3rd annual international applied category theory conference 2020, ACT 2020, Cambridge, USA, July 6–10, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 289-310 (2021).
PDF BibTeX XML Cite
Full Text: arXiv Link

Categorical vector space semantics for Lambek calculus with a relevant modality (extended abstract). (English) Zbl 1477.03111

Spivak, David I. (ed.) et al., Proceedings of the 3rd annual international applied category theory conference 2020, ACT 2020, Cambridge, USA, July 6–10, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 168-182 (2021).
PDF BibTeX XML Cite
Full Text: arXiv Link

Explicit identifiers and contexts in reversible concurrent calculus. (English) Zbl 1476.68093

Yamashita, Shigeru (ed.) et al., Reversible computation. 13th international conference, RC 2021, virtual event, July 7–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12805, 144-162 (2021).
MSC:  68Q09 68Q85
PDF BibTeX XML Cite
Full Text: DOI arXiv

A game theoretical semantics for logics of nonsense. (English) Zbl 07455741

Raskin, Jean-Francois (ed.) et al., Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 66-81 (2020).
MSC:  68Q45 68Q60 91A80
PDF BibTeX XML Cite
Full Text: arXiv Link

A proof assistant based formalisation of a subset of sequential core Erlang. (English) Zbl 1475.68059

Byrski, Aleksander (ed.) et al., Trends in functional programming. 21st international symposium, TFP 2020, Krakow, Poland, February 13–14, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12222, 139-158 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

Semantics for first-order affine inductive data types via slice categories. (English) Zbl 1480.68011

Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 180-200 (2020).
MSC:  68Q65 18C50 81P68
PDF BibTeX XML Cite
Full Text: DOI arXiv

Strong normalization for the simply-typed lambda calculus in constructive type theory using Agda. (English) Zbl 07313971

Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 351, 187-203 (2020).
MSC:  03B70 68Q55 68T27
PDF BibTeX XML Cite
Full Text: DOI

Falsification of cyber-physical systems with robustness-guided black-box checking. (English) Zbl 07300852

Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 11, 13 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI arXiv

On well-founded and recursive coalgebras. (English) Zbl 1455.18001

Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 17-36 (2020).
MSC:  18A15 18C50 68Q65
PDF BibTeX XML Cite
Full Text: DOI arXiv

Correctly slicing extended finite state machines. (English) Zbl 1440.68149

Di Pierro, Alessandra (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer. Lect. Notes Comput. Sci. 12065, 149-197 (2020).
MSC:  68Q45 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Term charters. (English) Zbl 1444.68085

Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 119-138 (2019).
PDF BibTeX XML Cite
Full Text: DOI

Finite limits and anti-unification in substitution categories. (English) Zbl 1444.68084

Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 87-102 (2019).
MSC:  68Q42 18A30 18C50
PDF BibTeX XML Cite
Full Text: DOI

Institutions for SQL database schemas and datasets. (English) Zbl 1444.68068

Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 67-86 (2019).
MSC:  68P15 18C50 68Q65
PDF BibTeX XML Cite
Full Text: DOI

A concrete categorical semantics of lambda-\(\mathcal{S}\). (English) Zbl 1433.68201

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, 83-100 (2019).
PDF BibTeX XML Cite
Full Text: DOI

Inversion, iteration, and the art of dual wielding. (English) Zbl 1467.68083

Thomsen, Michael Kirkedal (ed.) et al., Reversible computation. 11th international conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11497, 34-50 (2019).
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

Metaphors in science and in music. A quantum semantic approach. (English) Zbl 1414.18001

Aerts, Diederik (ed.) et al., Probing the meaning of quantum mechanics. Information, contextuality, relationalism and entanglement. Proceedings of the II international workshop on quantum mechanics and quantum information. Physical, philosophical and logical approaches, CLEA, Brussels Free University, Belgium, July 23–24, 2015. Hackensack, NJ: World Scientific. 69-87 (2019).
PDF BibTeX XML Cite
Full Text: DOI

Uniqueness of composition in quantum theory and linguistics. (English) Zbl 07447796

Coecke, Bob (ed.) et al., Proceedings of the 14th international conference on quantum physics and logic, QPL’17, Nijmegen, The Netherlands, July 3–7, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 266, 249-257 (2018).
PDF BibTeX XML Cite
Full Text: arXiv Link

Call-by-name gradual type theory. (English) Zbl 1462.68024

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 24, 17 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI

The clocks they are adjunctions. Denotational semantics for clocked type theory. (English) Zbl 1462.68023

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 23, 17 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI arXiv

A formal framework for specifying and verifying microservices based process flows. (English) Zbl 1461.68112

Cerone, Antonio (ed.) et al., Software engineering and formal methods. SEFM 2017 collocated workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4–5, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10729, 187-202 (2018).
MSC:  68Q60 68Q55 68Q85
PDF BibTeX XML Cite
Full Text: DOI

LMSO: a Curry-Howard approach to Church’s synthesis via linear logic. (English) Zbl 1453.03070

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). 849-858 (2018).
PDF BibTeX XML Cite
Full Text: DOI

A logical account for linear partial differential equations. (English) Zbl 1452.03135

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). 589-598 (2018).
MSC:  03F52 18C50 35G05
PDF BibTeX XML Cite
Full Text: DOI

Probabilistic stable functions on discrete cones are power series. (English) Zbl 07298752

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). 275-284 (2018).
PDF BibTeX XML Cite
Full Text: DOI

Representation equivalences among argumentation frameworks. (English) Zbl 1430.68312

Modgil, Sanjay (ed.) et al., Computational models of argument. Proceedings of the 7th conference, COMMA 2018, Warsaw, Poland, September 12–14, 2018. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 305, 21-28 (2018).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI

\(\mathsf{CoreFun}\): a typed functional reversible core language. (English) Zbl 06957273

Kari, Jarkko (ed.) et al., Reversible computation. 10th international conference, RC 2018, Leicester, UK, September 12–14, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11106, 304-321 (2018).
MSC:  68Q05 68Q10 81P68 94C10
PDF BibTeX XML Cite
Full Text: DOI

Computational logic. Volume 1: Classical deductive computing with classical logic. (English) Zbl 1408.68001

Texts in Computing 19. London: College Publications (ISBN 978-1-84890-280-0/pbk). xviii, 464 p. (2018).
MSC:  68-01 03B70 68N17 68Q05 68Q15 68Q17 68Q42 68Q45 68T15
PDF BibTeX XML Cite

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