×

Found 100 Documents (Results 1–100)

Newest Citations Relevance
Goncharov, S. S.; Marchuk, M. I.

The degree of decidable categoricity of a model with infinite solutions for complete formulas. (English. Russian original) Zbl 1515.03162

Algebra Logic 60, No. 3, 200-206 (2021); translation from Algebra Logika 60, No. 3, 303-312 (2021).
MSC:  03C57 03D45 03C35 03D28
PDF BibTeX XML Cite
\textit{S. S. Goncharov} and \textit{M. I. Marchuk}, Algebra Logic 60, No. 3, 200--206 (2021; Zbl 1515.03162); translation from Algebra Logika 60, No. 3, 303--312 (2021)
Full Text: DOI
Fiore, Marcelo; Saville, Philip

Relative full completeness for bicategorical Cartesian closed structure. (English) Zbl 07250943

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, 277-298 (2020).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
\textit{M. Fiore} and \textit{P. Saville}, Lect. Notes Comput. Sci. 12077, 277--298 (2020; Zbl 07250943)
Full Text: DOI
Xu, Zhaowei; Zhang, Wenhui; Sui, Yuefei

Completeness of Hoare logic relative to the standard model. (English) Zbl 1444.03122

Steffen, Bernhard (ed.) et al., SOFSEM 2017: theory and practice of computer science. 43rd international conference on current trends in theory and practice of computer science, Limerick, Ireland, January 16–20, 2017, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10139, 119-131 (2017).
MSC:  03B70 03C62 03F30
PDF BibTeX XML Cite
\textit{Z. Xu} et al., Lect. Notes Comput. Sci. 10139, 119--131 (2017; Zbl 1444.03122)
Full Text: DOI arXiv
Engelmann, Björn; Olderog, Ernst-Rüdiger

A sound and complete Hoare logic for dynamically-typed, object-oriented programs. (English) Zbl 1475.68085

Ábrahám, Erika (ed.) et al., Theory and practice of formal methods. Essays dedicated to Frank de Boer on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9660, 173-193 (2016).
MSC:  68N30 03B70 68N19 68Q55 68Q60
PDF BibTeX XML Cite
\textit{B. Engelmann} and \textit{E.-R. Olderog}, Lect. Notes Comput. Sci. 9660, 173--193 (2016; Zbl 1475.68085)
Full Text: DOI arXiv
Artemenko, Sergei; Impagliazzo, Russell; Kabanets, Valentine; Shaltiel, Ronen

Pseudorandomness when the odds are against you. (English) Zbl 1380.68434

Raz, Ran (ed.), 31st conference on computational complexity, CCC’16, Tokyo, Japan, May 29 – June 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-008-8). LIPIcs – Leibniz International Proceedings in Informatics 50, Article 9, 35 p. (2016).
MSC:  68W20 68Q17 68Q25
PDF BibTeX XML Cite
\textit{S. Artemenko} et al., LIPIcs -- Leibniz Int. Proc. Inform. 50, Article 9, 35 p. (2016; Zbl 1380.68434)
Full Text: DOI
Fokina, E. B.; Goncharov, S. S.; Harizanov, V.; Kudinov, O. V.; Turetsky, D.

Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations. (English. Russian original) Zbl 1375.03036

Algebra Logic 54, No. 4, 336-341 (2015); translation from Algebra Logika 54, No. 4, 520-528 (2015).
MSC:  03C57 03C35 03D45
PDF BibTeX XML Cite
\textit{E. B. Fokina} et al., Algebra Logic 54, No. 4, 336--341 (2015; Zbl 1375.03036); translation from Algebra Logika 54, No. 4, 520--528 (2015)
Full Text: DOI
Ezra, Esther E.

Small-size relative \((p,\epsilon)\)-approximations for well-behaved range spaces. (English) Zbl 1305.68337

Proceedings of the 29th annual symposium on computational geometry, SoCG 2013, Rio de Janeiro, Brazil, June 17–20, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2031-3). 233-242 (2013).
MSC:  68W25 68P05 68Q17 68U05
PDF BibTeX XML Cite
\textit{E. E. Ezra}, in: Proceedings of the 29th annual symposium on computational geometry, SoCG 2013, Rio de Janeiro, Brazil, June 17--20, 2013. New York, NY: Association for Computing Machinery (ACM). 233--242 (2013; Zbl 1305.68337)
Full Text: DOI arXiv
Unno, Hiroshi; Terauchi, Tachio; Kobayashi, Naoki

Automating relatively complete verification of higher-order functional programs. (English) Zbl 1301.68182

Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 75-86 (2013).
MSC:  68Q60 68N18 68N30
PDF BibTeX XML Cite
\textit{H. Unno} et al., in: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '13, Rome, Italy, January 23--25, 2013. New York, NY: Association for Computing Machinery (ACM). 75--86 (2013; Zbl 1301.68182)
Full Text: DOI Link
Simon, Udo; Xu, Ruiwei

Geometric modelling techniques for the solution of certain Monge-Ampère equations. (English) Zbl 1320.53012

Janeczko, Stanislaw (ed.) et al., Advances in geometric analysis. Collected papers of the workshop on geometry in honour of Shing-Tung Yau’s 60th birthday, Warsaw, Poland, April 6–8, 2009. Somerville, MA: International Press; Beijing: Higher Education Press (ISBN 978-1-57146-248-0/pbk). Advanced Lectures in Mathematics (ALM) 21, 21-44 (2012).
MSC:  53A15 35J60 35J96 53C21 53C24 53C40 58J60
PDF BibTeX XML Cite
\textit{U. Simon} and \textit{R. Xu}, Adv. Lect. Math. (ALM) 21, 21--44 (2012; Zbl 1320.53012)
Leivant, Daniel

On the completeness of dynamic logic. (English) Zbl 1234.03019

de Alfaro, Luca (ed.), Foundations of software science and computational structures. 12th international conference, FOSSACS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00595-4/pbk). Lecture Notes in Computer Science 5504, 78-91 (2009).
MSC:  03B70 68N30
PDF BibTeX XML Cite
\textit{D. Leivant}, Lect. Notes Comput. Sci. 5504, 78--91 (2009; Zbl 1234.03019)
Full Text: DOI
Candela, Anna Maria; Sánchez, Miguel

Geodesics in semi-Riemannian manifolds: geometric properties and variational tools. (English) Zbl 1204.53034

Alekseevsky, Dmitri V. (ed.) et al., Recent developments in pseudo-Riemannian geometry. Zürich: European Mathematical Society (ISBN 978-3-03719-051-7/pbk). ESI Lectures in Mathematics and Physics, 359-418 (2008).
MSC:  53C22 53C50
PDF BibTeX XML Cite
\textit{A. M. Candela} and \textit{M. Sánchez}, in: Recent developments in pseudo-Riemannian geometry. Zürich: European Mathematical Society. 359--418 (2008; Zbl 1204.53034)
Full Text: arXiv
Backlinks: MO
Scanlon, Thomas

Analytic difference rings. (English) Zbl 1104.03029

Sanz-Solé, Marta (ed.) et al., Proceedings of the international congress of mathematicians (ICM), Madrid, Spain, August 22–30, 2006. Volume II: Invited lectures. Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-022-7/hbk). 71-92 (2006).
MSC:  03C60 03C10 12J10 11D45 11G10 12H10 12L12 13K05 13L05
PDF BibTeX XML Cite
\textit{T. Scanlon}, in: Proceedings of the international congress of mathematicians (ICM), Madrid, Spain, August 22--30, 2006. Volume II: Invited lectures. Zürich: European Mathematical Society (EMS). 71--92 (2006; Zbl 1104.03029)
Doroslovački, Rade; Pantović, Jovanka; Tošić, Ratko; Vojvodić, Gradimir

Some remarks on relative completeness with respect to two negations. (English) Zbl 1054.03503

Herceg, D. (ed.) et al., PRIM ’97. Proceedings of the XII conference on applied mathematics, Palić, Yugoslavia, September 8–12, 1997. Novi Sad: Univ. of Novi Sad, Faculty of Science, Institute of Mathematics. 27-32 (1998).
Reviewer: Žana Kovijanić (Podgorica)
MSC:  03B50 03G99
PDF BibTeX XML Cite
\textit{R. Doroslovački} et al., in: PRIM '97. Proceedings of the XII conference on applied mathematics, Palić, Yugoslavia, September 8--12, 1997. Novi Sad: Univ. of Novi Sad, Faculty of Science, Institute of Mathematics. 27--32 (1998; Zbl 1054.03503)
Visser, Albert

Interpretability logic. (English) Zbl 0793.03064

Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 175-209 (1990).
MSC:  03F25 03F30 03B45
PDF BibTeX XML Cite
\textit{A. Visser}, in: Mathematical logic. Proceedings of the summer school and conference dedicated to the ninetieth anniversary of Arend Heyting (1898-1980), held in Chaika, Bulgaria, September 13-23, 1988. New York: Plenum Press. 175--209 (1990; Zbl 0793.03064)
de Jongh, Dick; Veltman, Frank

Provability logics for relative interpretability. (English) Zbl 0794.03026

Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 31-42 (1990).
Reviewer: G.Mints (Stanford)
MSC:  03B45 03F25
PDF BibTeX XML Cite
\textit{D. de Jongh} and \textit{F. Veltman}, in: Mathematical logic. Proceedings of the summer school and conference dedicated to the ninetieth anniversary of Arend Heyting (1898-1980), held in Chaika, Bulgaria, September 13-23, 1988. New York: Plenum Press. 31--42 (1990; Zbl 0794.03026)

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software