×

Found 50 Documents (Results 1–50)

100
MathJax

Generative program analysis and beyond: the power of domain-specific languages (invited paper). (English) Zbl 1472.68042

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 29-51 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Non-constructive procedural theory of propositional problems and the equivalence of solutions. (English) Zbl 07307083

Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications. 197-210 (2019).
PDF BibTeX XML Cite

How to validly quantify into hyperintensional nonpropositional attitudes. (English) Zbl 1383.03039

Arazim, Pavel (ed.) et al., The Logica yearbook 2014. Proceedings of the 28th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16–20, 2014. London: College Publications (ISBN 978-1-84890-177-3/pbk). 91-108 (2015).
MSC:  03B65 03B60
PDF BibTeX XML Cite

Procedural isomorphism and synonymy. (English) Zbl 1383.03022

Dančák, Michal (ed.) et al., The Logica yearbook 2013. Proceedings of the 27th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 17–21, 2013. London: College Publications (ISBN 978-1-84890-144-5/pbk). 15-33 (2014).
MSC:  03B40 03B60
PDF BibTeX XML Cite

Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic. (English) Zbl 1207.03009

Logic, Epistemology, and the Unity of Science 17. Berlin: Springer (ISBN 978-90-481-8811-6/hbk; 978-90-481-8812-3/ebook). xiii, 552 p. (2010).
PDF BibTeX XML Cite
Full Text: DOI

Defining standard Prolog in rewriting logic. (English) Zbl 0962.68079

Futatsugi, Kokichi, The 3rd international workshop on rewriting logic and its applications, RWLW. Kanazawa City Cultural Hall, Kanzawa, Japan, September 18-20, 2000. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 36, 17 p., electronic only (2000).
MSC:  68Q42 68T27
PDF BibTeX XML Cite

Constraint-based inter-procedural analysis of parallel programs. (English) Zbl 0960.68035

Smolka, Gerd (ed.), Programming languages and systems. 9th European symposium on programming, ESOP 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1782, 351-365 (2000).
MSC:  68N30 68Q55
PDF BibTeX XML Cite

Holism in artificial intelligence. (English) Zbl 1001.68519

Dalla Chiara, Maria Luisa (ed.) et al., Language, quantum, music. Papers of the 10th international congress of logic, methodology and philosophy of science, Florence, Italy, August 1995. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 281, 37-48 (1999).
MSC:  68T01
PDF BibTeX XML Cite

Partial programs. (English) Zbl 0765.68188

Principles of knowledge representation and reasoning, Proc. 2nd Int. Conf., Cambridge/MA (USA) 1991, 238-249 (1991).
MSC:  68T30 68N01 68Q60
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

all top 3

Classification

Software