Bergelson, Vitaly; Downarowicz, Tomasz; Vandehey, Joseph Deterministic functions on amenable semigroups and a generalization of the Kamae-Weiss theorem on normality preservation. (English) Zbl 07637556 J. Anal. Math. 148, No. 1, 213-286 (2022). MSC: 37A20 20M30 28B10 PDF BibTeX XML Cite \textit{V. Bergelson} et al., J. Anal. Math. 148, No. 1, 213--286 (2022; Zbl 07637556) Full Text: DOI arXiv OpenURL
Carreiro, Facundo; Facchini, Alessandro; Venema, Yde; Zanasi, Fabio Model theory of monadic predicate logic with the infinity quantifier. (English) Zbl 07541620 Arch. Math. Logic 61, No. 3-4, 465-502 (2022). MSC: 03C80 03C40 PDF BibTeX XML Cite \textit{F. Carreiro} et al., Arch. Math. Logic 61, No. 3--4, 465--502 (2022; Zbl 07541620) Full Text: DOI arXiv OpenURL
Sfouli, Hassan Extension of \(C^\infty\) functions in polynomially bounded o-minimal structure. (English) Zbl 1484.03069 Ann. Pure Appl. Logic 173, No. 1, Article ID 103027, 6 p. (2022). Reviewer: Olivier Le Gal (Le Bourget-du-Lac) MSC: 03C64 03C40 03C65 26E10 26E05 PDF BibTeX XML Cite \textit{H. Sfouli}, Ann. Pure Appl. Logic 173, No. 1, Article ID 103027, 6 p. (2022; Zbl 1484.03069) Full Text: DOI OpenURL
van der Kamp, Peter H.; McLaren, David I.; Quispel, G. R. W. Generalised Manin transformations and QRT maps. (English) Zbl 1467.14037 J. Comput. Dyn. 8, No. 2, 183-211 (2021). MSC: 14E05 14H70 14H81 37E30 39B12 37J35 PDF BibTeX XML Cite \textit{P. H. van der Kamp} et al., J. Comput. Dyn. 8, No. 2, 183--211 (2021; Zbl 1467.14037) Full Text: DOI arXiv OpenURL
Reggio, Luca Beth definability and the Stone-Weierstrass theorem. (English) Zbl 07358550 Ann. Pure Appl. Logic 172, No. 8, Article ID 102990, 27 p. (2021). MSC: 03B60 46E25 03C40 08A65 06F20 06D35 PDF BibTeX XML Cite \textit{L. Reggio}, Ann. Pure Appl. Logic 172, No. 8, Article ID 102990, 27 p. (2021; Zbl 07358550) Full Text: DOI arXiv OpenURL
Huang, Xing; Yuan, Chenggui Comparison theorem for distribution-dependent neutral SFDEs. (English) Zbl 1468.65008 J. Evol. Equ. 21, No. 1, 653-670 (2021). MSC: 65C30 60H10 34K50 PDF BibTeX XML Cite \textit{X. Huang} and \textit{C. Yuan}, J. Evol. Equ. 21, No. 1, 653--670 (2021; Zbl 1468.65008) Full Text: DOI arXiv OpenURL
Selivanov, Victor L’vovich Effective wadge hierarchy in computable quasi-Polish spaces. (English) Zbl 07333478 Sib. Èlektron. Mat. Izv. 18, No. 1, 121-135 (2021). MSC: 03E15 03D45 03D55 PDF BibTeX XML Cite \textit{V. L. Selivanov}, Sib. Èlektron. Mat. Izv. 18, No. 1, 121--135 (2021; Zbl 07333478) Full Text: DOI arXiv OpenURL
Murai, Ryo; Sano, Katsuhiko Craig interpolation of epistemic logics with distributed knowledge. (English) Zbl 1496.03073 Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 211-221 (2020). MSC: 03B42 03C40 PDF BibTeX XML Cite \textit{R. Murai} and \textit{K. Sano}, Lect. Notes Comput. Sci. 12012, 211--221 (2020; Zbl 1496.03073) Full Text: DOI OpenURL
Gherardi, Guido; Maffezioli, Paolo; Orlandelli, Eugenio Interpolation in extensions of first-order logic. (English) Zbl 1452.03128 Stud. Log. 108, No. 3, 619-648 (2020). Reviewer: Mario Alviano (Rende) MSC: 03F03 03C40 03F05 PDF BibTeX XML Cite \textit{G. Gherardi} et al., Stud. Log. 108, No. 3, 619--648 (2020; Zbl 1452.03128) Full Text: DOI arXiv OpenURL
Fujita, Masato Uniformly locally o-minimal structures and locally o-minimal structures admitting local definable cell decomposition. (English) Zbl 1435.03062 Ann. Pure Appl. Logic 171, No. 2, Article ID 102756, 26 p. (2020). Reviewer: Beibut Kulpeshov (Almaty) MSC: 03C64 03C07 03C10 03C40 PDF BibTeX XML Cite \textit{M. Fujita}, Ann. Pure Appl. Logic 171, No. 2, Article ID 102756, 26 p. (2020; Zbl 1435.03062) Full Text: DOI OpenURL
Wang, Yuehu; Liu, Baoqing Order-preservation of solution correspondence for generalized vector equilibrium problems on chain-complete posets. (Chinese. English summary) Zbl 1449.90348 Acta Math. Sci., Ser. A, Chin. Ed. 39, No. 6, 1483-1491 (2019). MSC: 90C33 PDF BibTeX XML Cite \textit{Y. Wang} and \textit{B. Liu}, Acta Math. Sci., Ser. A, Chin. Ed. 39, No. 6, 1483--1491 (2019; Zbl 1449.90348) OpenURL
Vaggione, D. Baker-Pixley theorem for algebras in relatively congruence distributive quasivarieties. (English) Zbl 1428.08002 Int. J. Algebra Comput. 29, No. 3, 459-480 (2019). Reviewer: C. Pereira da Silva (Curitiba) MSC: 08A40 03C40 08B10 08C15 PDF BibTeX XML Cite \textit{D. Vaggione}, Int. J. Algebra Comput. 29, No. 3, 459--480 (2019; Zbl 1428.08002) Full Text: DOI OpenURL
Patey, Ludovic Partial orders and immunity in reverse mathematics. (English) Zbl 1435.03031 Computability 7, No. 4, 323-339 (2018). MSC: 03B30 05D10 06A06 06A07 03F35 PDF BibTeX XML Cite \textit{L. Patey}, Computability 7, No. 4, 323--339 (2018; Zbl 1435.03031) Full Text: DOI OpenURL
Vaggione, Diego J. Infinitary Baker-Pixley theorem. (English) Zbl 1472.08004 Algebra Univers. 79, No. 3, Paper No. 67, 14 p. (2018). MSC: 08A40 08A05 03C40 03C05 08B10 PDF BibTeX XML Cite \textit{D. J. Vaggione}, Algebra Univers. 79, No. 3, Paper No. 67, 14 p. (2018; Zbl 1472.08004) Full Text: DOI OpenURL
Campercholi, Miguel Dominions and primitive positive functions. (English) Zbl 1428.18002 J. Symb. Log. 83, No. 1, 40-54 (2018). MSC: 18A20 03C05 03C40 03C60 08C15 PDF BibTeX XML Cite \textit{M. Campercholi}, J. Symb. Log. 83, No. 1, 40--54 (2018; Zbl 1428.18002) Full Text: DOI Link OpenURL
Hodges, Wilfrid From choosing elements to choosing concepts: the evolution of Feferman’s work in model theory. (English) Zbl 1429.03005 Jäger, Gerhard (ed.) et al., Feferman on foundations. Logic, mathematics, philosophy. Cham: Springer. Outst. Contrib. Log. 13, 3-22 (2017). MSC: 03-03 03C40 01A60 PDF BibTeX XML Cite \textit{W. Hodges}, Outst. Contrib. Log. 13, 3--22 (2017; Zbl 1429.03005) Full Text: DOI OpenURL
Milne, Peter A refinement of the Craig-Lyndon interpolation theorem for classical first-order logic with identity. (English) Zbl 1417.03180 Log. Anal., Nouv. Sér. 60, No. 240, 389-420 (2017). MSC: 03B50 03B53 03B10 03C40 PDF BibTeX XML Cite \textit{P. Milne}, Log. Anal., Nouv. Sér. 60, No. 240, 389--420 (2017; Zbl 1417.03180) Full Text: DOI OpenURL
Olkhovikov, Grigory K. On generalized van Benthem-type characterizations. (English) Zbl 1422.03015 Ann. Pure Appl. Logic 168, No. 9, 1643-1691 (2017). MSC: 03B20 03C40 03C50 03B45 PDF BibTeX XML Cite \textit{G. K. Olkhovikov}, Ann. Pure Appl. Logic 168, No. 9, 1643--1691 (2017; Zbl 1422.03015) Full Text: DOI arXiv OpenURL
Gao, Sicun; Zufferey, Damien Interpolants in nonlinear theories over the reals. (English) Zbl 1420.68187 Chechik, Marsha (ed.) et al., Tools and algorithms for the construction and analysis of systems. 22nd international conference, TACAS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9636, 625-641 (2016). MSC: 68T15 03C40 68Q60 PDF BibTeX XML Cite \textit{S. Gao} and \textit{D. Zufferey}, Lect. Notes Comput. Sci. 9636, 625--641 (2016; Zbl 1420.68187) Full Text: DOI OpenURL
Milne, Peter A non-classical refinement of the interpolation property for classical propositional logic. (English) Zbl 1396.03047 Log. Anal., Nouv. Sér. 59, No. 235, 273-281 (2016). MSC: 03B50 03B05 03B53 03C40 PDF BibTeX XML Cite \textit{P. Milne}, Log. Anal., Nouv. Sér. 59, No. 235, 273--281 (2016; Zbl 1396.03047) Full Text: DOI OpenURL
Dawson, Jeremy E.; Brotherston, James; Goré, Rajeev Machine-checked interpolation theorems for substructural logics using display calculi. (English) Zbl 1476.03007 Olivetti, Nicola (ed.) et al., Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9706, 452-468 (2016). MSC: 03B35 03B47 03C40 68V15 PDF BibTeX XML Cite \textit{J. E. Dawson} et al., Lect. Notes Comput. Sci. 9706, 452--468 (2016; Zbl 1476.03007) Full Text: DOI OpenURL
Gan, Ting; Dai, Liyun; Xia, Bican; Zhan, Naijun; Kapur, Deepak; Chen, Mingshuai Interpolant synthesis for quadratic polynomial inequalities and combination with EUF. (English) Zbl 1475.03072 Olivetti, Nicola (ed.) et al., Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9706, 195-212 (2016). MSC: 03B35 03C40 68Q60 90C22 PDF BibTeX XML Cite \textit{T. Gan} et al., Lect. Notes Comput. Sci. 9706, 195--212 (2016; Zbl 1475.03072) Full Text: DOI arXiv OpenURL
Hussain, M.; Hussain, M. Z.; Sarfraz, M. Shape-preserving polynomial interpolation scheme. (English) Zbl 1342.65080 Iran. J. Sci. Technol., Trans. A, Sci. 40, No. 1, 9-18 (2016). MSC: 65D05 PDF BibTeX XML Cite \textit{M. Hussain} et al., Iran. J. Sci. Technol., Trans. A, Sci. 40, No. 1, 9--18 (2016; Zbl 1342.65080) Full Text: DOI OpenURL
Christ, Jürgen; Hoenicke, Jochen Proof tree preserving tree interpolation. (English) Zbl 1356.68184 J. Autom. Reasoning 57, No. 1, 67-95 (2016). MSC: 68T15 03B35 03C40 PDF BibTeX XML Cite \textit{J. Christ} and \textit{J. Hoenicke}, J. Autom. Reasoning 57, No. 1, 67--95 (2016; Zbl 1356.68184) Full Text: DOI OpenURL
Totla, Nishant; Wies, Thomas Complete instantiation-based interpolation. (English) Zbl 1356.68203 J. Autom. Reasoning 57, No. 1, 37-65 (2016). MSC: 68T15 03C40 68N30 68Q60 PDF BibTeX XML Cite \textit{N. Totla} and \textit{T. Wies}, J. Autom. Reasoning 57, No. 1, 37--65 (2016; Zbl 1356.68203) Full Text: DOI Link OpenURL
Schlaipfer, Matthias; Weissenbacher, Georg Labelled interpolation systems for hyper-resolution, clausal, and local proofs. (English) Zbl 1356.68199 J. Autom. Reasoning 57, No. 1, 3-36 (2016). MSC: 68T15 03B35 03C40 PDF BibTeX XML Cite \textit{M. Schlaipfer} and \textit{G. Weissenbacher}, J. Autom. Reasoning 57, No. 1, 3--36 (2016; Zbl 1356.68199) Full Text: DOI OpenURL
Teheux, Bruno Modal definability based on Łukasiewicz validity relations. (English) Zbl 1396.03037 Stud. Log. 104, No. 2, 343-363 (2016). MSC: 03B45 03B50 03C40 PDF BibTeX XML Cite \textit{B. Teheux}, Stud. Log. 104, No. 2, 343--363 (2016; Zbl 1396.03037) Full Text: DOI arXiv OpenURL
Sankaran, Abhisekh; Adsul, Bharat; Chakraborty, Supratik A generalization of the Łoś-Tarski preservation theorem. (English) Zbl 1353.03019 Ann. Pure Appl. Logic 167, No. 3, 189-210 (2016). Reviewer: Daniele Mundici (Firenze) MSC: 03C40 03C52 03C75 03C13 PDF BibTeX XML Cite \textit{A. Sankaran} et al., Ann. Pure Appl. Logic 167, No. 3, 189--210 (2016; Zbl 1353.03019) Full Text: DOI arXiv OpenURL
Semenov, A. L.; Soprunov, S. F. A combinatorial version of the Svenonius theorem on definability. (English) Zbl 1405.03076 Log. J. IGPL 23, No. 6, 966-975 (2015). MSC: 03C40 03C60 20B07 PDF BibTeX XML Cite \textit{A. L. Semenov} and \textit{S. F. Soprunov}, Log. J. IGPL 23, No. 6, 966--975 (2015; Zbl 1405.03076) Full Text: DOI arXiv OpenURL
Kamide, Norihiro Interpolation theorems for some variants of LTL. (English) Zbl 1436.03123 Rep. Math. Logic 50, 3-30 (2015). MSC: 03B44 03B53 03C40 PDF BibTeX XML Cite \textit{N. Kamide}, Rep. Math. Logic 50, 3--30 (2015; Zbl 1436.03123) Full Text: DOI OpenURL
Cabodi, Gianpiero; Loiacono, Carmelo; Vendraminetto, Danilo Optimization techniques for Craig interpolant compaction in unbounded model checking. (English) Zbl 1341.68117 Form. Methods Syst. Des. 46, No. 2, 135-162 (2015). MSC: 68Q60 03C40 68T15 94C10 PDF BibTeX XML Cite \textit{G. Cabodi} et al., Form. Methods Syst. Des. 46, No. 2, 135--162 (2015; Zbl 1341.68117) Full Text: DOI OpenURL
Boldo, Sylvie; Jourdan, Jacques-Henri; Leroy, Xavier; Melquiond, Guillaume Verified compilation of floating-point computations. (English) Zbl 1331.68047 J. Autom. Reasoning 54, No. 2, 135-163 (2015). MSC: 68N20 65G50 68Q60 68T15 PDF BibTeX XML Cite \textit{S. Boldo} et al., J. Autom. Reasoning 54, No. 2, 135--163 (2015; Zbl 1331.68047) Full Text: DOI Link OpenURL
Bonacina, Maria Paola; Johansson, Moa On interpolation in automated theorem proving. (English) Zbl 1315.03018 J. Autom. Reasoning 54, No. 1, 69-97 (2015). MSC: 03B35 68T15 03C40 PDF BibTeX XML Cite \textit{M. P. Bonacina} and \textit{M. Johansson}, J. Autom. Reasoning 54, No. 1, 69--97 (2015; Zbl 1315.03018) Full Text: DOI OpenURL
Luo, Peng; Jia, Guangyan On monotonicity and order-preservation for multidimensional \(G\)-diffusion processes. (English) Zbl 1310.60085 Stochastic Anal. Appl. 33, No. 1, 67-90 (2015). MSC: 60H10 60J60 60H30 35K55 PDF BibTeX XML Cite \textit{P. Luo} and \textit{G. Jia}, Stochastic Anal. Appl. 33, No. 1, 67--90 (2015; Zbl 1310.60085) Full Text: DOI arXiv OpenURL
Bodirsky, Manuel; Pinsker, Michael Topological Birkhoff. (English) Zbl 1375.03032 Trans. Am. Math. Soc. 367, No. 4, 2527-2549 (2015). MSC: 03C05 03C40 08A35 08A30 08A70 PDF BibTeX XML Cite \textit{M. Bodirsky} and \textit{M. Pinsker}, Trans. Am. Math. Soc. 367, No. 4, 2527--2549 (2015; Zbl 1375.03032) Full Text: DOI arXiv OpenURL
Figueira, Diego; Libkin, Leonid Pattern logics and auxiliary relations. (English) Zbl 1394.68095 Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 40, 10 p. (2014). MSC: 68P05 03B25 03B70 03C13 68P15 PDF BibTeX XML Cite \textit{D. Figueira} and \textit{L. Libkin}, in: Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14--18, 2014. Los Alamitos, CA: IEEE Computer Society. Paper No. 40, 10 p. (2014; Zbl 1394.68095) Full Text: DOI Link OpenURL
Rollini, Simone Fulvio; Bruttomesso, Roberto; Sharygina, Natasha; Tsitovich, Aliaksei Resolution proof transformation for compression and interpolation. (English) Zbl 1317.68123 Form. Methods Syst. Des. 45, No. 1, 1-41 (2014). MSC: 68Q60 03C40 03F20 68T15 PDF BibTeX XML Cite \textit{S. F. Rollini} et al., Form. Methods Syst. Des. 45, No. 1, 1--41 (2014; Zbl 1317.68123) Full Text: DOI arXiv OpenURL
Huang, Xing; Wang, Feng-Yu Order preservation for multidimensional stochastic functional differential equations with jumps. (English) Zbl 1305.34137 J. Evol. Equ. 14, No. 2, 445-460 (2014). Reviewer: Ruhollah Jahanipur (Kashan) MSC: 34K50 60H10 60J75 PDF BibTeX XML Cite \textit{X. Huang} and \textit{F.-Y. Wang}, J. Evol. Equ. 14, No. 2, 445--460 (2014; Zbl 1305.34137) Full Text: DOI arXiv OpenURL
Semenov, Alexei; Soprunov, Sergey; Uspensky, Vladimir The lattice of definability. Origins, recent developments, and further directions. (English) Zbl 1433.03073 Hirsch, Edward A. (ed.) et al., Computer science – theory and applications. 9th international computer science symposium in Russia, CSR 2014, Moscow, Russia, June 7–11, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8476, 23-38 (2014). MSC: 03C40 03C10 PDF BibTeX XML Cite \textit{A. Semenov} et al., Lect. Notes Comput. Sci. 8476, 23--38 (2014; Zbl 1433.03073) Full Text: DOI OpenURL
Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio Quantifier-free interpolation in combinations of equality interpolating theories. (English) Zbl 1287.03068 ACM Trans. Comput. Log. 15, No. 1, Article No. 5, 34 p. (2014). MSC: 03B70 03C40 68Q60 PDF BibTeX XML Cite \textit{R. Bruttomesso} et al., ACM Trans. Comput. Log. 15, No. 1, Article No. 5, 34 p. (2014; Zbl 1287.03068) Full Text: DOI OpenURL
Volek, Jonas Maximum and minimum principles for nonlinear transport equations on discrete-space domains. (English) Zbl 1292.82038 Electron. J. Differ. Equ. 2014, Paper No. 78, 13 p. (2014). Reviewer: Dazmir Shulaia (Tbilisi) MSC: 82C70 35Q53 35B50 35C07 35L10 PDF BibTeX XML Cite \textit{J. Volek}, Electron. J. Differ. Equ. 2014, Paper No. 78, 13 p. (2014; Zbl 1292.82038) Full Text: EMIS OpenURL
Babenyshev, Sergey; Martins, Manuel A. Deduction-detachment theorem in hidden \(k\)-logics. (English) Zbl 1327.03022 J. Log. Comput. 24, No. 1, 233-255 (2014). MSC: 03B70 03C40 68Q60 PDF BibTeX XML Cite \textit{S. Babenyshev} and \textit{M. A. Martins}, J. Log. Comput. 24, No. 1, 233--255 (2014; Zbl 1327.03022) Full Text: DOI OpenURL
Keisler, H. Jerome; Keisler, Jeffrey M. Observing, reporting, and deciding in networks of sentences. (English) Zbl 1314.68298 Ann. Pure Appl. Logic 165, No. 3, 812-836 (2014). MSC: 68T27 03C40 03F07 68T15 PDF BibTeX XML Cite \textit{H. J. Keisler} and \textit{J. M. Keisler}, Ann. Pure Appl. Logic 165, No. 3, 812--836 (2014; Zbl 1314.68298) Full Text: DOI OpenURL
Blanc, Régis; Gupta, Ashutosh; Kovács, Laura; Kragl, Bernhard Tree interpolation in Vampire. (English) Zbl 1406.68104 McMillan, Ken (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14–19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-45220-8/pbk). Lecture Notes in Computer Science 8312, 173-181 (2013). MSC: 68T15 03C40 PDF BibTeX XML Cite \textit{R. Blanc} et al., Lect. Notes Comput. Sci. 8312, 173--181 (2013; Zbl 1406.68104) Full Text: DOI Link OpenURL
Zhu, Huiling Distributive proper forcing axiom and cardinal invariants. (English) Zbl 1295.03028 Arch. Math. Logic 52, No. 5-6, 497-506 (2013). Reviewer: Samuel Gomes da Silva (Salvador) MSC: 03E17 03E35 03E55 03E57 PDF BibTeX XML Cite \textit{H. Zhu}, Arch. Math. Logic 52, No. 5--6, 497--506 (2013; Zbl 1295.03028) Full Text: DOI OpenURL
Foreman, Matthew Calculating quotient algebras of generic embeddings. (English) Zbl 1270.03092 Isr. J. Math. 193, 309-341 (2013). MSC: 03E35 03E40 03E55 PDF BibTeX XML Cite \textit{M. Foreman}, Isr. J. Math. 193, 309--341 (2013; Zbl 1270.03092) Full Text: DOI OpenURL
Chen, Hubie; Müller, Moritz An algebraic preservation theorem for \(\aleph_0\)-categorical quantified constraint satisfaction. (English) Zbl 1285.03027 Log. Methods Comput. Sci. 9, No. 1, Paper No. 16, 23 p. (2013). MSC: 03C35 03C40 68Q25 PDF BibTeX XML Cite \textit{H. Chen} and \textit{M. Müller}, Log. Methods Comput. Sci. 9, No. 1, Paper No. 16, 23 p. (2013; Zbl 1285.03027) Full Text: DOI arXiv OpenURL
Chen, Hubie; Müller, Moritz An algebraic preservation theorem for aleph-zero categorical quantified constraint satisfaction. (English) Zbl 1364.03047 Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25–28, 2012. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-4769-5). 215-224 (2012). MSC: 03C40 03C35 68Q25 PDF BibTeX XML Cite \textit{H. Chen} and \textit{M. Müller}, in: Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25--28, 2012. Los Alamitos, CA: IEEE Computer Society. 215--224 (2012; Zbl 1364.03047) Full Text: DOI OpenURL
Weissenbacher, Georg Interpolant strength revisited. (English) Zbl 1273.03051 Cimatti, Alessandro (ed.) et al., Theory and applications of satisfiability testing – SAT 2012. 15th international conference, Trento, Italy, June 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31611-1/pbk). Lecture Notes in Computer Science 7317, 312-326 (2012). MSC: 03B35 03C40 68T15 PDF BibTeX XML Cite \textit{G. Weissenbacher}, Lect. Notes Comput. Sci. 7317, 312--326 (2012; Zbl 1273.03051) Full Text: DOI OpenURL
Atanassov, Krassimir A variant of Craig’s interpolation theorem for intuitionistic fuzzy formulas. II. (English) Zbl 1263.03016 Notes IFS 18, No. 2, 51-52 (2012). MSC: 03B52 03C40 PDF BibTeX XML Cite \textit{K. Atanassov}, Notes IFS 18, No. 2, 51--52 (2012; Zbl 1263.03016) OpenURL
Popov, V. M. Interpolation theorem for simple paranormal logic \(\text{Int}_{0,\omega}\). (Russian. English summary) Zbl 1271.03041 Karpenko, A. S. (ed.), Логические исследования. 18. Moskva: Tsentr Gumanitarnykh Initsiativ (ISBN 978-5-98712-073-6/hbk). 182-196 (2012). MSC: 03B53 03C40 PDF BibTeX XML Cite \textit{V. M. Popov}, in: Logicheskie issledovaniya. 18. Moskva: Tsentr Gumanitarnykh Initsiativ. 182--196 (2012; Zbl 1271.03041) OpenURL
Castiglioni, J. L.; San Martín, H. J. On some classes of Heyting algebras with successor that have the amalgamation property. (English) Zbl 1408.06003 Stud. Log. 100, No. 6, 1255-1269 (2012). MSC: 06D20 03B20 03C40 PDF BibTeX XML Cite \textit{J. L. Castiglioni} and \textit{H. J. San Martín}, Stud. Log. 100, No. 6, 1255--1269 (2012; Zbl 1408.06003) Full Text: DOI OpenURL
Sankaran, Abhisekh; Adsul, Bharat; Madan, Vivek; Kamath, Pritish; Chakraborty, Supratik Preservation under substructures modulo bounded cores. (English) Zbl 1362.03029 Ong, Luke (ed.) et al., Logic, language, information and computation. 19th international workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3–6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32620-2/pbk). Lecture Notes in Computer Science 7456, 291-305 (2012). MSC: 03C07 03C13 03C40 PDF BibTeX XML Cite \textit{A. Sankaran} et al., Lect. Notes Comput. Sci. 7456, 291--305 (2012; Zbl 1362.03029) Full Text: DOI arXiv OpenURL
Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio From strong amalgamability to modularity of quantifier-free interpolation. (English) Zbl 1358.68183 Gramlich, Bernhard (ed.) et al., Automated reasoning. 6th international joint conference, IJCAR 2012, Manchester, UK, June 26–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31364-6/pbk). Lecture Notes in Computer Science 7364. Lecture Notes in Artificial Intelligence, 118-133 (2012). MSC: 68Q60 03C40 68T15 PDF BibTeX XML Cite \textit{R. Bruttomesso} et al., Lect. Notes Comput. Sci. 7364, 118--133 (2012; Zbl 1358.68183) Full Text: DOI arXiv OpenURL
Griggio, Alberto; Le, Thi Thieu Hoa; Sebastiani, Roberto Efficient interpolant generation in satisfiability modulo linear integer arithmetic. (English) Zbl 1256.68138 Log. Methods Comput. Sci. 8, No. 3, Paper No. 3, 31 p. (2012). MSC: 68T15 03C40 68Q60 PDF BibTeX XML Cite \textit{A. Griggio} et al., Log. Methods Comput. Sci. 8, No. 3, Paper No. 3, 31 p. (2012; Zbl 1256.68138) Full Text: DOI OpenURL
Goldbring, Isaac An approximate Herbrand’s theorem and definable functions in metric structures. (English) Zbl 1246.03062 Math. Log. Q. 58, No. 3, 208-216 (2012). Reviewer: Seyed-Mohammad Bagheri (Tehran) MSC: 03C90 03C40 03C98 PDF BibTeX XML Cite \textit{I. Goldbring}, Math. Log. Q. 58, No. 3, 208--216 (2012; Zbl 1246.03062) Full Text: DOI arXiv OpenURL
Brillout, Angelo; Kroening, Daniel; Rümmer, Philipp; Wahl, Thomas An interpolating sequent calculus for quantifier-free Presburger arithmetic. (English) Zbl 1259.03043 J. Autom. Reasoning 47, No. 4, 341-367 (2011). MSC: 03B70 03C40 03F07 03F30 68Q60 68T15 PDF BibTeX XML Cite \textit{A. Brillout} et al., J. Autom. Reasoning 47, No. 4, 341--367 (2011; Zbl 1259.03043) Full Text: DOI OpenURL
Ferreira, Francicleber Martins; Martins, Ana Teresa Recursive definitions and fixed-points on well-founded structures. (English) Zbl 1252.03088 Theor. Comput. Sci. 412, No. 37, 4893-4904 (2011). MSC: 03C40 03B70 PDF BibTeX XML Cite \textit{F. M. Ferreira} and \textit{A. T. Martins}, Theor. Comput. Sci. 412, No. 37, 4893--4904 (2011; Zbl 1252.03088) Full Text: DOI OpenURL
Kupferschmid, Stefan; Becker, Bernd Craig interpolation in the presence of non-linear constraints. (English) Zbl 1348.68141 Fahrenberg, Uli (ed.) et al., Formal modeling and analysis of timed systems. 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24309-7/pbk). Lecture Notes in Computer Science 6919, 240-255 (2011). MSC: 68Q60 03C40 68T15 PDF BibTeX XML Cite \textit{S. Kupferschmid} and \textit{B. Becker}, Lect. Notes Comput. Sci. 6919, 240--255 (2011; Zbl 1348.68141) Full Text: DOI OpenURL
Otto, Martin Model theoretic methods for fragments of FO and special classes of (finite) structures. (English) Zbl 1248.03052 Esparza, Javier (ed.) et al., Finite and algorithmic model theory. Based on the workshop at the University of Durham, UK, January 9–13, 2006. Cambridge: Cambridge University Press (ISBN 978-0-521-71820-2/pbk). London Mathematical Society Lecture Note Series 379, 271-341 (2011). Reviewer: Vera Koponen (Uppsala) MSC: 03C13 03C07 PDF BibTeX XML Cite \textit{M. Otto}, Lond. Math. Soc. Lect. Note Ser. 379, 271--341 (2011; Zbl 1248.03052) OpenURL
Kamide, Norihiro Notes on Craig interpolation for LJ with strong negation. (English) Zbl 1241.03029 Math. Log. Q. 57, No. 4, 395-399 (2011). MSC: 03B50 03B53 03C40 PDF BibTeX XML Cite \textit{N. Kamide}, Math. Log. Q. 57, No. 4, 395--399 (2011; Zbl 1241.03029) Full Text: DOI OpenURL
Griggio, Alberto; Le, Thi Thieu Hoa; Sebastiani, Roberto Efficient interpolant generation in satisfiability modulo linear integer arithmetic. (English) Zbl 1315.68179 Abdulla, Parosh Aziz (ed.) et al., Tools and algorithms for the construction and analysis of systems. 17th international conference, TACAS 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 – April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19834-2/pbk). Lecture Notes in Computer Science 6605, 143-157 (2011). MSC: 68Q60 03B25 03C40 68T15 PDF BibTeX XML Cite \textit{A. Griggio} et al., Lect. Notes Comput. Sci. 6605, 143--157 (2011; Zbl 1315.68179) Full Text: DOI arXiv OpenURL
Rott, Hans Reapproaching Ramsey: conditionals and iterated belief change in the spirit of AGM. (English) Zbl 1233.03015 J. Philos. Log. 40, No. 2, 155-191 (2011). MSC: 03A05 03B42 03B48 68T27 PDF BibTeX XML Cite \textit{H. Rott}, J. Philos. Log. 40, No. 2, 155--191 (2011; Zbl 1233.03015) Full Text: DOI OpenURL
Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto Efficient generation of Craig interpolants in satisfiability modulo theories. (English) Zbl 1351.68247 ACM Trans. Comput. Log. 12, No. 1, Article No. 7, 54 p. (2010). MSC: 68T15 03B35 03C40 PDF BibTeX XML Cite \textit{A. Cimatti} et al., ACM Trans. Comput. Log. 12, No. 1, Article No. 7, 54 p. (2010; Zbl 1351.68247) Full Text: DOI arXiv OpenURL
Duris, David Extension preservation theorems on classes of acyclic finite structures. (English) Zbl 1220.03012 SIAM J. Comput. 39, No. 8, 3670-3681 (2010). MSC: 03C13 03C40 05C65 PDF BibTeX XML Cite \textit{D. Duris}, SIAM J. Comput. 39, No. 8, 3670--3681 (2010; Zbl 1220.03012) Full Text: DOI Link OpenURL
Kroening, Daniel; Leroux, Jérôme; Rümmer, Philipp Interpolating quantifier-free Presburger arithmetic. (English) Zbl 1306.68148 Fermüller, Christian G. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10–15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16241-1/pbk). Lecture Notes in Computer Science 6397, 489-503 (2010). MSC: 68T15 03C40 03F30 68Q60 90C57 PDF BibTeX XML Cite \textit{D. Kroening} et al., Lect. Notes Comput. Sci. 6397, 489--503 (2010; Zbl 1306.68148) Full Text: DOI OpenURL
Nešetřil, Jaroslav; Ossona de Mendez, Patrice First order properties on nowhere dense structures. (English) Zbl 1206.03033 J. Symb. Log. 75, No. 3, 868-887 (2010). Reviewer: Vera Koponen (Uppsala) MSC: 03C13 PDF BibTeX XML Cite \textit{J. Nešetřil} and \textit{P. Ossona de Mendez}, J. Symb. Log. 75, No. 3, 868--887 (2010; Zbl 1206.03033) Full Text: DOI Link OpenURL
Brillout, Angelo; Kroening, Daniel; Rümmer, Philipp; Wahl, Thomas An interpolating sequent calculus for quantifier-free Presburger arithmetic. (English) Zbl 1291.03112 Giesl, Jürgen (ed.) et al., Automated reasoning. 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16–19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14202-4/pbk). Lecture Notes in Computer Science 6173. Lecture Notes in Artificial Intelligence, 384-399 (2010). MSC: 03F30 03B35 03C40 68T15 PDF BibTeX XML Cite \textit{A. Brillout} et al., Lect. Notes Comput. Sci. 6173, 384--399 (2010; Zbl 1291.03112) Full Text: DOI OpenURL
Fleischmann, Jonathan Syntactic preservation theorems for intuitionistic predicate logic. (English) Zbl 1254.03016 Notre Dame J. Formal Logic 51, No. 2, 225-245 (2010). MSC: 03B20 03C40 03C90 PDF BibTeX XML Cite \textit{J. Fleischmann}, Notre Dame J. Formal Logic 51, No. 2, 225--245 (2010; Zbl 1254.03016) Full Text: DOI OpenURL
D’Silva, Vijay Propositional interpolation and abstract interpretation. (English) Zbl 1259.03024 Gordon, Andrew D. (ed.), Programming languages and systems. 19th European symposium on programming, ESOP 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20–28, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11956-9/pbk). Lecture Notes in Computer Science 6012, 185-204 (2010). MSC: 03B35 03C40 68Q60 68T15 PDF BibTeX XML Cite \textit{V. D'Silva}, Lect. Notes Comput. Sci. 6012, 185--204 (2010; Zbl 1259.03024) Full Text: DOI OpenURL
Ferreira, Francicleber Martins; Martins, Ana Teresa Recursive definitions and fixed-points. (English) Zbl 1311.03062 Horizonte, Belo (ed.) et al., Proceedings of the 3rd workshop on logical and semantic frameworks, with applications (LSFA 2008), Salvador, Brazil, August 26, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 247, 19-37 (2009). MSC: 03C40 03B70 03C13 PDF BibTeX XML Cite \textit{F. M. Ferreira} and \textit{A. T. Martins}, Electron. Notes Theor. Comput. Sci. 247, 19--37 (2009; Zbl 1311.03062) Full Text: DOI OpenURL
Kudinov, Oleg V.; Selivanov, Victor L. A Gandy theorem for abstract structures and applications to first-order definability. (English) Zbl 1268.03038 Ambos-Spies, Klaus (ed.) et al., Mathematical theory and computational practice. 5th conference on computability in Europe, CiE 2009, Heidelberg, Germany, July 19–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03072-7/pbk). Lecture Notes in Computer Science 5635, 290-299 (2009). MSC: 03C40 03C62 PDF BibTeX XML Cite \textit{O. V. Kudinov} and \textit{V. L. Selivanov}, Lect. Notes Comput. Sci. 5635, 290--299 (2009; Zbl 1268.03038) Full Text: DOI OpenURL
Gonska, Heiner; Piţul, Paula; Raşa, Ioan General King-type operators. (English) Zbl 1181.41041 Result. Math. 53, No. 3-4, 279-286 (2009). MSC: 41A36 41A25 PDF BibTeX XML Cite \textit{H. Gonska} et al., Result. Math. 53, No. 3--4, 279--286 (2009; Zbl 1181.41041) Full Text: DOI OpenURL
Leroy, Xavier A formally verified compiler back-end. (English) Zbl 1185.68215 J. Autom. Reasoning 43, No. 4, 363-446 (2009). MSC: 68N20 68Q60 68T15 PDF BibTeX XML Cite \textit{X. Leroy}, J. Autom. Reasoning 43, No. 4, 363--446 (2009; Zbl 1185.68215) Full Text: DOI arXiv OpenURL
Raghavan, Dilip Maximal almost disjoint families of functions. (English) Zbl 1183.03036 Fundam. Math. 204, No. 3, 241-282 (2009). Reviewer: Miroslav Repický (Košice) MSC: 03E17 03E05 03E35 03E50 PDF BibTeX XML Cite \textit{D. Raghavan}, Fundam. Math. 204, No. 3, 241--282 (2009; Zbl 1183.03036) Full Text: DOI OpenURL
Jiang, Jie-Hong R. Quantifier elimination via functional composition. (English) Zbl 1242.68165 Bouajjani, Ahmed (ed.) et al., Computer aided verification. 21st international conference, CAV 2009, Grenoble, France, June 26–July 2, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02657-7/pbk). Lecture Notes in Computer Science 5643, 383-397 (2009). MSC: 68Q60 03C10 03C40 68T15 PDF BibTeX XML Cite \textit{J.-H. R. Jiang}, Lect. Notes Comput. Sci. 5643, 383--397 (2009; Zbl 1242.68165) Full Text: DOI OpenURL
Meine, Hans; Köthe, Ullrich; Stelldinger, Peer A topological sampling theorem for robust boundary reconstruction and image segmentation. (English) Zbl 1178.68613 Discrete Appl. Math. 157, No. 3, 524-541 (2009). MSC: 68U05 68U10 PDF BibTeX XML Cite \textit{H. Meine} et al., Discrete Appl. Math. 157, No. 3, 524--541 (2009; Zbl 1178.68613) Full Text: DOI OpenURL
Felscher, Ingo The compositional method and regular reachability. (English) Zbl 1337.68166 Halava, Vesa (ed.) et al., Proceedings of the 2nd workshop on reachability problems in computational models (RP 2008), Liverpool, UK, September 15–17, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 223, 103-117 (2008). MSC: 68Q60 03B45 03C40 PDF BibTeX XML Cite \textit{I. Felscher}, Electron. Notes Theor. Comput. Sci. 223, 103--117 (2008; Zbl 1337.68166) Full Text: DOI OpenURL
Estler, H.-Christian; Wehrheim, Heike Alloy as a refactoring checker? (English) Zbl 1283.68205 Boiten, Eerke (ed.) et al., Proceedings of the 13th BCS-FACS refinement workshop (REFINE 2008), Turku, Finland, May 27, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 214, 331-357 (2008). MSC: 68Q60 68T15 PDF BibTeX XML Cite \textit{H. C. Estler} and \textit{H. Wehrheim}, Electron. Notes Theor. Comput. Sci. 214, 331--357 (2008; Zbl 1283.68205) Full Text: DOI OpenURL
Craig, William The road to two theorems of logic. (English) Zbl 1171.03017 Synthese 164, No. 3, 333-339 (2008). MSC: 03C40 03-03 01A60 PDF BibTeX XML Cite \textit{W. Craig}, Synthese 164, No. 3, 333--339 (2008; Zbl 1171.03017) Full Text: DOI OpenURL
Chapman, Peter; McKinna, James; Urban, Christian Mechanising a proof of Craig’s interpolation theorem for intuitionistic logic in nominal Isabelle. (English) Zbl 1166.68340 Autexier, Serge (ed.) et al., Intelligent computer mathematics. 9th international conference, AISC 2008, 15th symposium, Calculemus 2008, 7th international conference, MKM 2008, Birmingham, UK, July 28–August 1, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85109-7/pbk). Lecture Notes in Computer Science 5144. Lecture Notes in Artificial Intelligence, 38-52 (2008). MSC: 68T15 03B35 03C40 PDF BibTeX XML Cite \textit{P. Chapman} et al., Lect. Notes Comput. Sci. 5144, 38--52 (2008; Zbl 1166.68340) Full Text: DOI OpenURL
Lynch, Christopher; Tang, Yuefeng Interpolants for linear arithmetic in SMT. (English) Zbl 1183.68379 Cha, Sungdeok (Steve) (ed.) et al., Automated technology for verification and analysis. 6th international symposium, ATVA 2008, Seoul, Korea, October 20–23, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-88386-9/pbk). Lecture Notes in Computer Science 5311, 156-170 (2008). MSC: 68Q60 03C40 68T15 PDF BibTeX XML Cite \textit{C. Lynch} and \textit{Y. Tang}, Lect. Notes Comput. Sci. 5311, 156--170 (2008; Zbl 1183.68379) Full Text: DOI OpenURL
Pambuccian, Victor Alexandrov-Zeeman type theorems expressed in terms of definability. (English) Zbl 1141.03007 Aequationes Math. 74, No. 3, 249-261 (2007). Reviewer: T. Thrivikraman (Nileshwar) MSC: 03C40 03B30 15A63 51A15 51F20 83A05 PDF BibTeX XML Cite \textit{V. Pambuccian}, Aequationes Math. 74, No. 3, 249--261 (2007; Zbl 1141.03007) Full Text: DOI OpenURL
Sano, Katsuhiko; Sato, Kentaro Semantical characterizations for irreflexive and generalized modal languages. (English) Zbl 1131.03009 Notre Dame J. Formal Logic 48, No. 2, 205-228 (2007). MSC: 03B45 03B44 03C40 PDF BibTeX XML Cite \textit{K. Sano} and \textit{K. Sato}, Notre Dame J. Formal Logic 48, No. 2, 205--228 (2007; Zbl 1131.03009) Full Text: DOI OpenURL
Rabinovich, Alexander Composition theorem for generalized sum. (English) Zbl 1124.03013 Fundam. Inform. 79, No. 1-2, 137-167 (2007). Reviewer: Victor V. Pambuccian (Dortmund) MSC: 03C30 03C13 03C40 03C52 03C64 03C85 03B10 03B25 PDF BibTeX XML Cite \textit{A. Rabinovich}, Fundam. Inform. 79, No. 1--2, 137--167 (2007; Zbl 1124.03013) OpenURL
Ikeda, Kazuma; Tsuboi, Akito Nonstandard models that are definable in models of Peano arithmetic. (English) Zbl 1112.03031 Math. Log. Q. 53, No. 1, 27-37 (2007). MSC: 03C62 03H15 03C40 PDF BibTeX XML Cite \textit{K. Ikeda} and \textit{A. Tsuboi}, Math. Log. Q. 53, No. 1, 27--37 (2007; Zbl 1112.03031) Full Text: DOI OpenURL
Leroy, Xavier Formal certification of a compiler back-end or: programming a compiler with a proof assistant. (English) Zbl 1369.68124 Proceedings of the 33rd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’06, Charleston, SC, USA, January 11–13, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-027-2). 42-54 (2006). MSC: 68N20 68T15 PDF BibTeX XML Cite \textit{X. Leroy}, in: Proceedings of the 33rd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '06, Charleston, SC, USA, January 11--13, 2006. New York, NY: Association for Computing Machinery (ACM). 42--54 (2006; Zbl 1369.68124) Full Text: DOI OpenURL
Gaĭnă, Daniel; Popescu, Andrei An institution-independent generalization of Tarski’s elementary chain theorem. (English) Zbl 1123.03058 J. Log. Comput. 16, No. 6, 713-735 (2006). Reviewer: Răzvan Diaconescu (Ploiesti) MSC: 03G30 03B10 03C40 PDF BibTeX XML Cite \textit{D. Gaĭnă} and \textit{A. Popescu}, J. Log. Comput. 16, No. 6, 713--735 (2006; Zbl 1123.03058) Full Text: DOI OpenURL
Bodirsky, Manuel; Nešetřil, Jaroslav Constraint satisfaction with countable homogeneous templates. (English) Zbl 1113.03026 J. Log. Comput. 16, No. 3, 359-373 (2006). MSC: 03C05 68T20 68Q25 03C35 03C52 03D15 05C20 PDF BibTeX XML Cite \textit{M. Bodirsky} and \textit{J. Nešetřil}, J. Log. Comput. 16, No. 3, 359--373 (2006; Zbl 1113.03026) Full Text: DOI OpenURL
Pynko, Alexej P. A relative interpolation theorem for infinitary universal Horn logic and its applications. (English) Zbl 1093.03016 Arch. Math. Logic 45, No. 3, 267-305 (2006). MSC: 03C40 03C75 03G99 PDF BibTeX XML Cite \textit{A. P. Pynko}, Arch. Math. Logic 45, No. 3, 267--305 (2006; Zbl 1093.03016) Full Text: DOI OpenURL
Yorsh, Greta; Musuvathi, Madanlal A combination method for generating interpolants. (English) Zbl 1135.03331 Nieuwenhuis, Robert (ed.), Automated deduction – CADE-20. 20th international conference on automated deduction, Tallinn, Estonia, July 22–27, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28005-7/pbk). Lecture Notes in Computer Science 3632. Lecture Notes in Artificial Intelligence, 353-368 (2005). MSC: 03B35 03C40 68T15 PDF BibTeX XML Cite \textit{G. Yorsh} and \textit{M. Musuvathi}, Lect. Notes Comput. Sci. 3632, 353--368 (2005; Zbl 1135.03331) Full Text: DOI OpenURL
van Benthem, Johan Minimal predicates, fixed-points, and definability. (English) Zbl 1089.03010 J. Symb. Log. 70, No. 3, 696-712 (2005). MSC: 03B10 03B45 03C40 PDF BibTeX XML Cite \textit{J. van Benthem}, J. Symb. Log. 70, No. 3, 696--712 (2005; Zbl 1089.03010) Full Text: DOI OpenURL
Gaishun, I. V. Stability of linear Hamiltonian systems in total differentials with periodic coeficients. (English. Russian original) Zbl 1084.37048 Differ. Equ. 41, No. 1, 33-40 (2005); translation from Differ. Uravn. 41, No. 1, 33-40 (2005). Reviewer: Boris V. Loginov (Ul’yanovsk) MSC: 37J25 37J05 37J15 37J45 PDF BibTeX XML Cite \textit{I. V. Gaishun}, Differ. Equ. 41, No. 1, 33--40 (2005; Zbl 1084.37048); translation from Differ. Uravn. 41, No. 1, 33--40 (2005) Full Text: DOI OpenURL
McMillan, K. L. An interpolating theorem prover. (English) Zbl 1079.68092 Theor. Comput. Sci. 345, No. 1, 101-121 (2005). MSC: 68T15 03B35 03C40 68Q60 PDF BibTeX XML Cite \textit{K. L. McMillan}, Theor. Comput. Sci. 345, No. 1, 101--121 (2005; Zbl 1079.68092) Full Text: DOI OpenURL
Huang, Wu-Hsiung Is proximity preservation rational in social choice theory? (English) Zbl 1109.91340 Soc. Choice Welfare 23, No. 3, 315-332 (2004). MSC: 91B14 PDF BibTeX XML Cite \textit{W.-H. Huang}, Soc. Choice Welfare 23, No. 3, 315--332 (2004; Zbl 1109.91340) Full Text: DOI Link OpenURL
Shelah, S. Properness without elementaricity. (English) Zbl 1069.03043 J. Appl. Anal. 10, No. 2, 169-290 (2004). MSC: 03E40 03E05 03E47 PDF BibTeX XML Cite \textit{S. Shelah}, J. Appl. Anal. 10, No. 2, 169--290 (2004; Zbl 1069.03043) Full Text: DOI OpenURL
Kielhöfer, Hansjörg Bifurcation theory. An introduction with applications of PDEs. (English) Zbl 1032.35001 Applied Mathematical Sciences. 156. New York, NY: Springer. vii, 346 p. (2004). Reviewer: Lutz Recke (Berlin) MSC: 35-02 47-02 35B32 47J15 58E07 PDF BibTeX XML Cite \textit{H. Kielhöfer}, Bifurcation theory. An introduction with applications of PDEs. New York, NY: Springer (2004; Zbl 1032.35001) Full Text: DOI OpenURL
Shrajner, Pavel A. Automatic recognition of the interpolation property in some superintuitionistic propositional logics. (Russian. English summary) Zbl 1249.03037 Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 3, No. 4, 85-92 (2003). MSC: 03B55 03C40 68T15 PDF BibTeX XML Cite \textit{P. A. Shrajner}, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 3, No. 4, 85--92 (2003; Zbl 1249.03037) OpenURL
Rassias, Themistocles M.; Wagner, Peter Volume preserving mappings in the spirit of the Mazur-Ulam theorem. (English) Zbl 1085.39022 Aequationes Math. 66, No. 1-2, 85-89 (2003). Reviewer: Ilie Corovei (Cluj-Napoca) MSC: 39B42 PDF BibTeX XML Cite \textit{T. M. Rassias} and \textit{P. Wagner}, Aequationes Math. 66, No. 1--2, 85--89 (2003; Zbl 1085.39022) Full Text: DOI OpenURL
Bagheri, Seyed Mohammad On translations of complete first order theories. (English) Zbl 1016.03029 Math. Log. Q. 49, No. 1, 87-91 (2003). MSC: 03C07 03C40 03C52 PDF BibTeX XML Cite \textit{S. M. Bagheri}, Math. Log. Q. 49, No. 1, 87--91 (2003; Zbl 1016.03029) Full Text: DOI OpenURL