×

Found 15,614 Documents (Results 1–100)

Nontrivial single axiom-schemata and their quasi-nontriviality of Leśniewski-Ishimoto’s propositional ontology \(\bf L_1\). arXiv:2402.07030

Preprint, arXiv:2402.07030 [math.LO] (2024).
BibTeX Cite
Full Text: arXiv

A higher-order language for Markov kernels and linear operators. (English) Zbl 07770333

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 89-112 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Proceedings of the 17th international workshop on logical and semantic frameworks with applications, LSFA, Belo Horizonte, Brazil, September 23–24, 2022. (English) Zbl 1522.68039

Electronic Proceedings in Theoretical Computer Science (EPTCS) 376. Waterloo: Open Publishing Association (OPA). 99 p., electronic only, open access (2023).
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Strand spaces with choice via a process algebra semantics. (English) Zbl 07729484

Lopez-Garcia, Pedro (ed.) et al., Analysis, verification and transformation for declarative programming and intelligent systems. Essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13160, 307-350 (2023).
MSC:  94A60 68Q55 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Proof-theoretic foundations of normal logic programs. (English) Zbl 07729480

Lopez-Garcia, Pedro (ed.) et al., Analysis, verification and transformation for declarative programming and intelligent systems. Essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13160, 233-252 (2023).
MSC:  68N17 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Modularization of logic programs. (English) Zbl 07729479

Lopez-Garcia, Pedro (ed.) et al., Analysis, verification and transformation for declarative programming and intelligent systems. Essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13160, 222-232 (2023).
MSC:  68N17 68Q55 68T30
PDFBibTeX XMLCite
Full Text: DOI

Layerings of logic programs – layer decomposable semantics and incremental model computation. (English) Zbl 07729478

Lopez-Garcia, Pedro (ed.) et al., Analysis, verification and transformation for declarative programming and intelligent systems. Essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13160, 206-221 (2023).
MSC:  68N17 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Program semantics and verification technique for AI-centred programs. (English) Zbl 07728858

Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 473-491 (2023).
PDFBibTeX XMLCite
Full Text: DOI

Reasoning about promises in weak memory models with event structures. (English) Zbl 07728848

Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 282-300 (2023).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Sound symbolic execution via abstract interpretation and its application to security. (English) Zbl 07728624

Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 267-295 (2023).
MSC:  68N30 68Q55
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software