Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "predicate formula"
download as .bib file
@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 = {Mon, 11 May 2020 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}
}
a service of 
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.
retrieved on 2024-05-23 06:58 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
