×

Found 160 Documents (Results 1–100)

100
MathJax

Farkas-based tree interpolation. (English) Zbl 1474.68321

Pichardie, David (ed.) et al., Static analysis. 27th international symposium, SAS 2020, virtual event, November 18–20, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12389, 357-379 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Finite-variable logics do not have weak Beth definability property. (English) Zbl 1371.03042

Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for the 50th birthday of Jean-Yves Béziau. Volume II. New York, NY: Birkhäuser/Springer (ISBN 978-3-319-15367-4/pbk; 978-3-319-15368-1/ebook). Studies in Universal Logic, 125-133 (2015).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Lévy preservation and associated properties for \(f\)-divergence minimal equivalent martingale measures. (English) Zbl 1279.60044

Shiryaev, Albert N. (ed.) et al., Prokhorov and contemporary probability theory. In honor of Yuri V. Prokhorov on the occasion of his 80th birthday. Berlin: Springer (ISBN 978-3-642-33548-8/hbk; 978-3-642-33549-5/ebook). Springer Proceedings in Mathematics & Statistics 33, 163-196 (2013).
MSC:  60G07 60G51 91B24
PDF BibTeX XML Cite
Full Text: DOI arXiv

Interpolation and Beth definability over the minimal logic. (English) Zbl 1291.03042

Bolander, Thomas (ed.) et al., Advances in modal logic. Vol. 9. Proceedings of the 9th conference (AiML 2012), Copenhagen, Denmark, August 22–25, 2012. London: College Publications (ISBN 978-1-84890-068-4/pbk). 459-463 (2012).
MSC:  03B55 03C40
PDF BibTeX XML Cite

On capabilities of hash domain extenders to preserve enhanced security properties. (English) Zbl 1303.94101

Takagi, Tsuyoshi (ed.) et al., Provable security. 6th international conference, ProvSec 2012, Chengdu, China, September 26–28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33271-5/pbk). Lecture Notes in Computer Science 7496, 288-299 (2012).
MSC:  94A60 68P25
PDF BibTeX XML Cite
Full Text: DOI

Component-based security policy design with colored Petri nets. (English) Zbl 1253.68242

Palsberg, Jens (ed.), Semantics and algebraic specification. Essays dedicated to Peter D. Mosses on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-04163-1/pbk). Lecture Notes in Computer Science 5700, 21-42 (2009).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Property preservation along embedding of biological regulatory networks. (English) Zbl 1171.92302

Horimoto, Katsuhisa (ed.) et al., Algebraic biology. Third international conference, AB 2008, Castle of Hagenberg, Austria, July 31–August 2, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85100-4/pbk). Lecture Notes in Computer Science 5147, 125-138 (2008).
MSC:  92B05 92C40 05C90
PDF BibTeX XML Cite
Full Text: DOI Link

On some Galois connection based abstractions for the mu-calculus. (English) Zbl 1120.68408

Fitzgerald, John (ed.) et al., FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27882-6/pbk). Lecture Notes in Computer Science 3582, 366-381 (2005).
PDF BibTeX XML Cite
Full Text: DOI

Preservation under extensions on well-behaved finite structures. (English) Zbl 1081.03025

Caires, Luís (ed.) et al., Automata, languages and programming. 32nd international colloquium, ICALP 2005, Lisbon, Portugal, July 11–15, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27580-0/pbk). Lecture Notes in Computer Science 3580, 1437-1449 (2005).
PDF BibTeX XML Cite
Full Text: DOI

Restricted interpolation in modal logics. (English) Zbl 1082.03019

Balbiani, Philippe (ed.) et al., Advances in modal logic. Vol. 4. Selected papers from the 4th conference (AiML 2002), Toulouse, France, October 2002. London: King’s College Publications (ISBN 0-9543006-1-0/pbk; 0-9543006-2-9/hbk). 297-311 (2003).
MSC:  03B45 03C40
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

all top 3

Software