![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "predicate formula"
@article{DBLP:journals/fmsd/BackemanRZ21, author = {Peter Backeman and Philipp R{\"{u}}mmer and Aleksandar Zeljic}, title = {Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic}, journal = {Formal Methods Syst. Des.}, volume = {57}, number = {2}, pages = {121--156}, year = {2021}, url = {https://doi.org/10.1007/s10703-021-00372-6}, doi = {10.1007/S10703-021-00372-6}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fmsd/BackemanRZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csit/BilanovaPH20, author = {Zuzana Bilanov{\'{a}} and J{\'{a}}n Perh{\'{a}}c and Michal Hulic}, title = {A Modern Interpreter of Predicate Linear Logic Formulas}, booktitle = {{IEEE} 15th International Conference on Computer Sciences and Information Technologies, {CSIT} 2020, Zbarazh, Ukraine, September 23-26, 2020 - Volume 2}, pages = {103--106}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/CSIT49958.2020.9321931}, doi = {10.1109/CSIT49958.2020.9321931}, timestamp = {Mon, 21 Feb 2022 17:50:24 +0100}, biburl = {https://dblp.org/rec/conf/csit/BilanovaPH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/basesearch/Harwath18, author = {Frederik Harwath}, title = {On Invariant Formulae of First-Order Logic with Numerical Predicates}, school = {{HU} Berlin, Germany}, year = {2018}, url = {http://edoc.hu-berlin.de/18452/20379}, urn = {urn:nbn:de:kobv:11-110-18452/20379-2}, doi = {10.18452/19609}, timestamp = {Wed, 28 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/phd/basesearch/Harwath18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/saci/PerhacMR18, author = {J{\'{a}}n Perh{\'{a}}c and Daniel Mih{\'{a}}lyi and Lukas Relosky}, title = {Distribution of Linux Log Files Described by Predicate Linear Logic Formula}, booktitle = {12th {IEEE} International Symposium on Applied Computational Intelligence and Informatics, {SACI} 2018, Timisoara, Romania, May 17-19, 2018}, pages = {81--86}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/SACI.2018.8440960}, doi = {10.1109/SACI.2018.8440960}, timestamp = {Thu, 04 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/saci/PerhacMR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijcisys/QinXL15, author = {Xiaoyan Qin and Yang Xu and Yi Liu}, title = {The validity degree vectors of formulae in two-valued predicate logic}, journal = {Int. J. Comput. Intell. Syst.}, volume = {8}, number = {5}, pages = {829--840}, year = {2015}, url = {https://doi.org/10.1080/18756891.2015.1063245}, doi = {10.1080/18756891.2015.1063245}, timestamp = {Tue, 16 Oct 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijcisys/QinXL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/Olkhovikov14, author = {Grigory K. Olkhovikov}, title = {Model-theoretic characterization of intuitionistic predicate formulas}, journal = {J. Log. Comput.}, volume = {24}, number = {4}, pages = {809--829}, year = {2014}, url = {https://doi.org/10.1093/logcom/ext014}, doi = {10.1093/LOGCOM/EXT014}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/logcom/Olkhovikov14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/Marques-SilvaJB13, author = {Jo{\~{a}}o Marques{-}Silva and Mikol{\'{a}}s Janota and Anton Belov}, editor = {Natasha Sharygina and Helmut Veith}, title = {Minimal Sets over Monotone Predicates in Boolean Formulae}, booktitle = {Computer Aided Verification - 25th International Conference, {CAV} 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8044}, pages = {592--607}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39799-8\_39}, doi = {10.1007/978-3-642-39799-8\_39}, timestamp = {Wed, 07 Dec 2022 23:12:58 +0100}, biburl = {https://dblp.org/rec/conf/cav/Marques-SilvaJB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icmlc/QinX13, author = {Xiaoyan Qin and Yang Xu}, title = {Theorey of vector truth degrees of formulas in two-valued predicate logic}, booktitle = {International Conference on Machine Learning and Cybernetics, {ICMLC} 2013, Tianjin, China, July 14-17, 2013}, pages = {1724--1728}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/ICMLC.2013.6890876}, doi = {10.1109/ICMLC.2013.6890876}, timestamp = {Wed, 24 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icmlc/QinX13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isci/LiuYG11, author = {Wei{-}Yi Liu and Kun Yue and Ming{-}Hai Gao}, title = {Constructing probabilistic graphical model from predicate formulas for fusing logical and probabilistic knowledge}, journal = {Inf. Sci.}, volume = {181}, number = {18}, pages = {3828--3845}, year = {2011}, url = {https://doi.org/10.1016/j.ins.2011.05.006}, doi = {10.1016/J.INS.2011.05.006}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isci/LiuYG11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/paclic/MiyaoBYT10, author = {Yusuke Miyao and Alastair Butler and Kei Yoshimoto and Jun'ichi Tsujii}, editor = {Ryo Otoguro and Kiyoshi Ishikawa and Hiroshi Umemoto and Kei Yoshimoto and Yasunari Harada}, title = {A Modular Architecture for the Wide-Coverage Translation of Natural Language Texts into Predicate Logic Formulas}, booktitle = {Proceedings of the 24th Pacific Asia Conference on Language, Information and Computation, {PACLIC} 24, Tohoku University, Japan, 4-7 November 2010}, pages = {481--488}, publisher = {Institute for Digital Enhancement of Cognitive Development, Waseda University}, year = {2010}, url = {https://aclanthology.org/Y10-1055/}, timestamp = {Fri, 06 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/paclic/MiyaoBYT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/CaroIP10a, author = {Angelo De Caro and Vincenzo Iovino and Giuseppe Persiano}, title = {Efficient Fully Secure (Hierarchical) Predicate Encryption for Conjunctions, Disjunctions and k-CNF/DNF formulae}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {492}, year = {2010}, url = {http://eprint.iacr.org/2010/492}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/CaroIP10a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rml/Sakharov07, author = {Alexander Sakharov}, title = {Intuitionistic Predicate Logic with Decidable Propositional Formulas}, journal = {Reports Math. Log.}, volume = {42}, pages = {153--168}, year = {2007}, url = {https://rml.tcs.uj.edu.pl/rml-42/a-sak-42.htm}, timestamp = {Wed, 08 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/rml/Sakharov07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fss/WangQZ06, author = {Guo{-}Jun Wang and Xiao{-}Yan Qin and Xiang{-}Nan Zhou}, title = {An intrinsic fuzzy set on the universe of discourse of predicate formulas}, journal = {Fuzzy Sets Syst.}, volume = {157}, number = {24}, pages = {3145--3158}, year = {2006}, url = {https://doi.org/10.1016/j.fss.2006.08.006}, doi = {10.1016/J.FSS.2006.08.006}, timestamp = {Wed, 19 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fss/WangQZ06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/ChaubardPS06, author = {Laura Chaubard and Jean{-}Eric Pin and Howard Straubing}, title = {First Order Formulas with Modular Predicates}, booktitle = {21th {IEEE} Symposium on Logic in Computer Science {(LICS} 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings}, pages = {211--220}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/LICS.2006.24}, doi = {10.1109/LICS.2006.24}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/ChaubardPS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijprai/RobinsonKL05, author = {Martin Robinson and Kurt Kubik and Brian C. Lovell}, title = {A First Order Predicate Logic Formulation Of The 3d Reconstruction Problem And Its Solution Space}, journal = {Int. J. Pattern Recognit. Artif. Intell.}, volume = {19}, number = {1}, pages = {45--62}, year = {2005}, url = {https://doi.org/10.1142/S0218001405003910}, doi = {10.1142/S0218001405003910}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijprai/RobinsonKL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/Katsumata05, author = {Shin{-}ya Katsumata}, editor = {C.{-}H. Luke Ong}, title = {A Semantic Formulation of TT-Lifting and Logical Predicates for Computational Metalanguage}, booktitle = {Computer Science Logic, 19th International Workshop, {CSL} 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3634}, pages = {87--102}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11538363\_8}, doi = {10.1007/11538363\_8}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/csl/Katsumata05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/Hajek04, author = {Petr H{\'{a}}jek}, editor = {Wolfgang Lenski}, title = {A True Unprovable Formula of Fuzzy Predicate Logic}, booktitle = {Logic versus Approximation, Essays Dedicated to Michael M. Richter on the Occasion of his 65th Birthday}, series = {Lecture Notes in Computer Science}, volume = {3075}, pages = {1--5}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-25967-1\_1}, doi = {10.1007/978-3-540-25967-1\_1}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/Hajek04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/Colson02, author = {Lo{\"{\i}}c Colson}, title = {Syntactical Truth Predicates for Formulas with Atomic Negation}, journal = {Math. Struct. Comput. Sci.}, volume = {12}, number = {1}, pages = {1--18}, year = {2002}, url = {https://doi.org/10.1017/S0960129501003449}, doi = {10.1017/S0960129501003449}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/Colson02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sLogica/Shimura00, author = {Tatsuya Shimura}, title = {Kripke Incompleteness of Predicate Extensions of the Modal Logics Axiomatized by a Canonical Formula for a Frame with a Nontrivial Cluster}, journal = {Stud Logica}, volume = {65}, number = {2}, pages = {237--247}, year = {2000}, url = {https://doi.org/10.1023/A:1005219831286}, doi = {10.1023/A:1005219831286}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sLogica/Shimura00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pricai/Ohsuga00, author = {Setsuo Ohsuga}, editor = {Riichiro Mizoguchi and John K. Slaney}, title = {The Gap between Symbol and Non-symbol Processing - An Attempt to Represent a Database by Predicate Formulae}, booktitle = {{PRICAI} 2000, Topics in Artificial Intelligence, 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1886}, pages = {16--26}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44533-1\_6}, doi = {10.1007/3-540-44533-1\_6}, timestamp = {Sat, 07 Sep 2019 11:59:26 +0200}, biburl = {https://dblp.org/rec/conf/pricai/Ohsuga00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ail/Yoshino97, author = {Hajime Yoshino}, title = {On the Logical Foundations of Compound Predicate Formulae for Legal Knowledge Representation}, journal = {Artif. Intell. Law}, volume = {5}, number = {1-2}, pages = {77--96}, year = {1997}, url = {https://doi.org/10.1023/A:1008289826410}, doi = {10.1023/A:1008289826410}, timestamp = {Mon, 24 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ail/Yoshino97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Yoshino94, author = {Hajime Yoshino}, editor = {Carlo Biagioli and Giovanni Sartor and Daniela Tiscornia}, title = {Representation of Legal Knowledge by Compound Predicate Formula}, booktitle = {{ICLP} 1994 Workshop {W12:} Legal Application of Logic Programming, Santa Margherita Ligure, Italy, June 1994}, year = {1994}, timestamp = {Mon, 24 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Yoshino94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipmu/SilvaPN94, author = {Rita Maria da Silva and Ant{\^{o}}nio Eduardo C. Pereira and M{\'{a}}rcio L. Andrade Netto}, editor = {Bernadette Bouchon{-}Meunier and Ronald R. Yager and Lotfi A. Zadeh}, title = {A System of Knowledge Representation Based in Formulae of Predicate Calculus whose Variables are Annotated by Expressions of {A} "Fuzzy"Terminological Logic}, booktitle = {Advances in Intelligent Computing - IPMU'94, 5th International Conference on Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, France, July 4-8, 1994, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {945}, pages = {409--417}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0035974}, doi = {10.1007/BFB0035974}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/ipmu/SilvaPN94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Makkai93, author = {Michael Makkai}, title = {The fibrational formulation of intuitionistic predicate logic {I:} completeness according to G{\"{o}}del, Kripke, and L{\"{a}}uchli, Part 1}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {3}, pages = {334--377}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093634727}, doi = {10.1305/NDJFL/1093634727}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Makkai93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Makkai93a, author = {Michael Makkai}, title = {The fibrational formulation of intuitionistic predicate logic {I:} completeness according to G{\"{o}}del, Kripke, and L{\"{a}}uchli, Part 2}, journal = {Notre Dame J. Formal Log.}, volume = {34}, number = {4}, pages = {471--498}, year = {1993}, url = {https://doi.org/10.1305/ndjfl/1093633902}, doi = {10.1305/NDJFL/1093633902}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Makkai93a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sLogica/Shimura93, author = {Tatsuya Shimura}, title = {Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas}, journal = {Stud Logica}, volume = {52}, number = {1}, pages = {23--40}, year = {1993}, url = {https://doi.org/10.1007/BF01053062}, doi = {10.1007/BF01053062}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sLogica/Shimura93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/YinH93, author = {Jilei Yin and Hong Zhu}, editor = {Zolt{\'{a}}n {\'{E}}sik}, title = {On the Learnability of a Restricted Predicate Formulae}, booktitle = {Fundamentals of Computation Theory, 9th International Symposium, {FCT} '93, Szeged, Hungary, August 23-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {710}, pages = {462--471}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57163-9\_40}, doi = {10.1007/3-540-57163-9\_40}, timestamp = {Wed, 06 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fct/YinH93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tphol/Chou92a, author = {Ching{-}Tsun Chou}, editor = {Luc J. M. Claesen and Michael J. C. Gordon}, title = {A Sequent Formulation of a Logic of Predicates in {HOL}}, booktitle = {Higher Order Logic Theorem Proving and its Applications, Proceedings of the {IFIP} {TC10/WG10.2} Workshop HOL'92, Leuven, Belgium, 21-24 September 1992}, series = {{IFIP} Transactions}, volume = {{A-20}}, pages = {71--80}, publisher = {North-Holland/Elsevier}, year = {1992}, timestamp = {Thu, 03 Jan 2002 12:10:28 +0100}, biburl = {https://dblp.org/rec/conf/tphol/Chou92a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/JacksonR88, author = {Peter Jackson and Han Reichgelt}, editor = {Howard E. Shrobe and Tom M. Mitchell and Reid G. Smith}, title = {A General Proof Method for Modal Predicate Logic without the Barcan Formula}, booktitle = {Proceedings of the 7th National Conference on Artificial Intelligence, St. Paul, MN, USA, August 21-26, 1988}, pages = {177--181}, publisher = {{AAAI} Press / The {MIT} Press}, year = {1988}, url = {http://www.aaai.org/Library/AAAI/1988/aaai88-032.php}, timestamp = {Mon, 04 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/JacksonR88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/YoshidaKS85, author = {H. Yoshida and H. Kato and Masakatsu Sugimoto}, editor = {Eiiti Wada}, title = {Retrieval of Software Module Functions Using First-Order Predicate Logic Formulae}, booktitle = {Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985}, series = {Lecture Notes in Computer Science}, volume = {221}, pages = {117--127}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-16479-0\_12}, doi = {10.1007/3-540-16479-0\_12}, timestamp = {Sun, 03 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/YoshidaKS85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/focs/Immerman79, author = {Neil Immerman}, title = {Length of Predicate Calculus Formulas as a New Complexity Measure}, booktitle = {20th Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, 29-31 October 1979}, pages = {337--347}, publisher = {{IEEE} Computer Society}, year = {1979}, url = {https://doi.org/10.1109/SFCS.1979.21}, doi = {10.1109/SFCS.1979.21}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/focs/Immerman79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/Hughes76a, author = {Charles E. Hughes}, title = {A Reduction Class Containing Formulas with one Monadic Predicate and one Binary Function Symbol}, journal = {J. Symb. Log.}, volume = {41}, number = {1}, pages = {45--49}, year = {1976}, url = {https://doi.org/10.1017/S0022481200051744}, doi = {10.1017/S0022481200051744}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsyml/Hughes76a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/Lewis76, author = {Harry R. Lewis}, title = {Krom Formulas with One Dyadic Predicate Letter}, journal = {J. Symb. Log.}, volume = {41}, number = {2}, pages = {341--362}, year = {1976}, url = {https://doi.org/10.1017/S0022481200051409}, doi = {10.1017/S0022481200051409}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsyml/Lewis76.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aml/Monting75, author = {J{\"{u}}rgen Schulte M{\"{o}}nting}, title = {Interpolation formulae for predicates and terms which carry their own history}, journal = {Arch. Math. Log.}, volume = {17}, number = {3-4}, pages = {159--169}, year = {1975}, url = {https://doi.org/10.1007/BF02276804}, doi = {10.1007/BF02276804}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/aml/Monting75.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Weston65, author = {Kenneth Weston}, title = {On predicate letter formulas which have no substitution instances provable in a first order language}, journal = {Notre Dame J. Formal Log.}, volume = {6}, number = {4}, pages = {296--300}, year = {1965}, url = {https://doi.org/10.1305/ndjfl/1093958337}, doi = {10.1305/NDJFL/1093958337}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Weston65.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.