Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "certain form"
download as .bib file
@article{DBLP:journals/axioms/GarciaOlmedoSG23,
author = {Francisco Miguel Garc{\'{\i}}a{-}Olmedo and
Antonio J. Rodr{\'{\i}}guez Salas and
Pedro Gonz{\'{a}}lez{-}Rodelas},
title = {Certain Bounds of Formulas in Free Temporal Algebras},
journal = {Axioms},
volume = {12},
number = {12},
pages = {1111},
year = {2023},
url = {https://doi.org/10.3390/axioms12121111},
doi = {10.3390/AXIOMS12121111},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/axioms/GarciaOlmedoSG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Iliev23,
author = {Petar Iliev},
title = {On semantically labelled syntax trees and the non-existence of certain
Sahlqvist formulae},
journal = {Log. J. {IGPL}},
volume = {31},
number = {3},
pages = {483--509},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac044},
doi = {10.1093/JIGPAL/JZAC044},
timestamp = {Tue, 27 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/Iliev23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itp/WuSZJGZ23,
author = {Jinnan Wu and
Mengmeng Song and
Pablo Zoghbi{-}Manrique{-}de{-}Lara and
Hemin Jiang and
Shanshan Guo and
Wenpei Zhang},
title = {Why cyberloafing can be socially learned in the workplace: the role
of employees' perceived certainty of formal and informal sanctions},
journal = {Inf. Technol. People},
volume = {36},
number = {4},
pages = {1603--1625},
year = {2023},
url = {https://doi.org/10.1108/ITP-06-2021-0464},
doi = {10.1108/ITP-06-2021-0464},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/itp/WuSZJGZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/symmetry/AbdElhameedANK23,
author = {Waleed Mohamed Abd{-}Elhameed and
Hany M. Ahmed and
Anna Napoli and
Victor Kowalenko},
title = {New Formulas Involving Fibonacci and Certain Orthogonal Polynomials},
journal = {Symmetry},
volume = {15},
number = {3},
pages = {736},
year = {2023},
url = {https://doi.org/10.3390/sym15030736},
doi = {10.3390/SYM15030736},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/symmetry/AbdElhameedANK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/symmetry/KimR23,
author = {Insuk Kim and
Arjun K. Rathie},
title = {A Note on Certain General Transformation Formulas for the Appell and
the Horn Functions},
journal = {Symmetry},
volume = {15},
number = {3},
pages = {696},
year = {2023},
url = {https://doi.org/10.3390/sym15030696},
doi = {10.3390/SYM15030696},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/symmetry/KimR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-14630,
author = {Le Anh Dao and
Loris Roveda and
Marco Maccarini and
Matteo Lavit Nicora and
Marta Mondellini and
Matteo Meregalli Falerni and
Palaniappan Veerappan and
Lorenzo Mantovani and
Dario Piga and
Simone Formentin and
Matteo Malosio},
title = {Experience in Engineering Complex Systems: Active Preference Learning
with Multiple Outcomes and Certainty Levels},
journal = {CoRR},
volume = {abs/2302.14630},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.14630},
doi = {10.48550/ARXIV.2302.14630},
eprinttype = {arXiv},
eprint = {2302.14630},
timestamp = {Thu, 02 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-14630.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithms/Providas22a,
author = {Efthimios Providas},
title = {An Algorithm for the Closed-Form Solution of Certain Classes of Volterra-Fredholm
Integral Equations of Convolution Type},
journal = {Algorithms},
volume = {15},
number = {6},
pages = {203},
year = {2022},
url = {https://doi.org/10.3390/a15060203},
doi = {10.3390/A15060203},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithms/Providas22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/HofstadlerRR22,
author = {Clemens Hofstadler and
Clemens G. Raab and
Georg Regensburger},
title = {Computing Elements of Certain Form in Ideals to Prove Properties of
Operators},
journal = {Math. Comput. Sci.},
volume = {16},
number = {2-3},
pages = {17},
year = {2022},
url = {https://doi.org/10.1007/s11786-022-00536-5},
doi = {10.1007/S11786-022-00536-5},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mics/HofstadlerRR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/symmetry/Abd-ElhameedA22a,
author = {Waleed Mohamed Abd{-}Elhameed and
Mohamed Salem Al{-}Harbi},
title = {Some Formulas and Recurrences of Certain Orthogonal Polynomials Generalizing
Chebyshev Polynomials of the Third-Kind},
journal = {Symmetry},
volume = {14},
number = {11},
pages = {2309},
year = {2022},
url = {https://doi.org/10.3390/sym14112309},
doi = {10.3390/SYM14112309},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/symmetry/Abd-ElhameedA22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/symmetry/ChoiKKR22,
author = {Junesang Choi and
Shantha Kumari Kurumujji and
Adem Kili{\c{c}}man and
Arjun Kumar Rathie},
title = {Certain Integral Formulae Associated with the Product of Generalized
Hypergeometric Series and Several Elementary Functions Derived from
Formulas for the Beta Function},
journal = {Symmetry},
volume = {14},
number = {2},
pages = {389},
year = {2022},
url = {https://doi.org/10.3390/sym14020389},
doi = {10.3390/SYM14020389},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/symmetry/ChoiKKR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/symmetry/MohammedKARR22,
author = {Asmaa O. Mohammed and
Adem Kili{\c{c}}man and
Mohamed M. Awad and
Arjun K. Rathie and
Medhat Ahmed Rakha},
title = {Another Method for Proving Certain Reduction Formulas for the Humbert
Function {\(\psi\)}2 Due to Brychkov et al. with an Application},
journal = {Symmetry},
volume = {14},
number = {5},
pages = {868},
year = {2022},
url = {https://doi.org/10.3390/sym14050868},
doi = {10.3390/SYM14050868},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/symmetry/MohammedKARR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/symmetry/Choi21a,
author = {Junesang Choi},
title = {Certain Applications of Generalized Kummer's Summation Formulas for
2F1},
journal = {Symmetry},
volume = {13},
number = {8},
pages = {1538},
year = {2021},
url = {https://doi.org/10.3390/sym13081538},
doi = {10.3390/SYM13081538},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/symmetry/Choi21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-12933,
author = {Clemens Hofstadler and
Clemens G. Raab and
Georg Regensburger},
title = {Computing elements of certain form in ideals to prove properties of
operators},
journal = {CoRR},
volume = {abs/2110.12933},
year = {2021},
url = {https://arxiv.org/abs/2110.12933},
eprinttype = {arXiv},
eprint = {2110.12933},
timestamp = {Thu, 28 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-12933.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/KimY20,
author = {Jang Soo Kim and
Meesue Yoo},
title = {Product formulas for certain skew tableaux},
journal = {Eur. J. Comb.},
volume = {84},
year = {2020},
url = {https://doi.org/10.1016/j.ejc.2019.103038},
doi = {10.1016/J.EJC.2019.103038},
timestamp = {Thu, 19 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejc/KimY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaciii/Yamada20,
author = {Koichi Yamada},
title = {Aggregation of Epistemic Uncertainty in Forms of Possibility and Certainty
Factors},
journal = {J. Adv. Comput. Intell. Intell. Informatics},
volume = {24},
number = {1},
pages = {83--94},
year = {2020},
url = {https://doi.org/10.20965/jaciii.2020.p0083},
doi = {10.20965/JACIII.2020.P0083},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jaciii/Yamada20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/ArgyrakiL19,
author = {Angeliki Koutsoukou{-}Argyraki and
Wenda Li},
title = {The Transcendence of Certain Infinite Series},
journal = {Arch. Formal Proofs},
volume = {2019},
year = {2019},
url = {https://www.isa-afp.org/entries/Transcendence\_Series\_Hancl\_Rucki.html},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/ArgyrakiL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cmm/Kobelev19,
author = {Vladimir Kobelev},
title = {Non-Leibniz Hamiltonian and Lagrangian formalisms for certain class
of dissipative systems},
journal = {Comput. Math. Methods},
volume = {1},
number = {3},
year = {2019},
url = {https://doi.org/10.1002/cmm4.1035},
doi = {10.1002/CMM4.1035},
timestamp = {Tue, 13 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cmm/Kobelev19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/int/Matsuda18,
author = {Kazuhide Matsuda},
title = {On Certain Quaternary Quadratic Forms},
journal = {Integers},
volume = {18},
pages = {A65},
year = {2018},
url = {http://math.colgate.edu/\&\#126;integers/s65/s65.Abstract.html},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/int/Matsuda18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itw/ShayovitzF18,
author = {Shachar Shayovitz and
Meir Feder},
title = {Redundancy Capacity Theorem for On-Line Learning Under a Certain Form
of Hypotheses Class},
booktitle = {{IEEE} Information Theory Workshop, {ITW} 2018, Guangzhou, China,
November 25-29, 2018},
pages = {1--5},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ITW.2018.8613335},
doi = {10.1109/ITW.2018.8613335},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/itw/ShayovitzF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/symmetry/BaeL17,
author = {Yongju Bae and
In Sook Lee},
title = {Determinant Formulae of Matrices with Certain Symmetry and Its Applications},
journal = {Symmetry},
volume = {9},
number = {12},
pages = {303},
year = {2017},
url = {https://doi.org/10.3390/sym9120303},
doi = {10.3390/SYM9120303},
timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/symmetry/BaeL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ais/NajiR16,
author = {Abdelwahab Naji and
Mohamed Ramdani},
title = {Toward a better self-regulation: degree of certainty through fuzzy
logic in a formative assessment},
journal = {{AI} Soc.},
volume = {31},
number = {2},
pages = {259--264},
year = {2016},
url = {https://doi.org/10.1007/s00146-015-0586-7},
doi = {10.1007/S00146-015-0586-7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ais/NajiR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/clsr/ArkhipovN16,
author = {Vladislav Arkhipov and
Victor Naumov},
title = {The legal definition of personal data in the regulatory environment
of the Russian Federation: Between formal certainty and technological
development},
journal = {Comput. Law Secur. Rev.},
volume = {32},
number = {6},
pages = {868--887},
year = {2016},
url = {https://doi.org/10.1016/j.clsr.2016.07.009},
doi = {10.1016/J.CLSR.2016.07.009},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/clsr/ArkhipovN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/em/JorgensonST16,
author = {Jay Jorgenson and
Lejla Smajlovic and
Holger Then},
title = {Kronecker's Limit Formula, Holomorphic Modular Functions, and \emph{q}-Expansions
on Certain Arithmetic Groups},
journal = {Exp. Math.},
volume = {25},
number = {3},
pages = {295--320},
year = {2016},
url = {https://doi.org/10.1080/10586458.2015.1053161},
doi = {10.1080/10586458.2015.1053161},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/em/JorgensonST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlms/KimingRW16,
author = {Ian Kiming and
Nadim Rustom and
Gabor Wiese},
title = {On certain finiteness questions in the arithmetic of modular forms},
journal = {J. Lond. Math. Soc.},
volume = {94},
number = {2},
pages = {479--502},
year = {2016},
url = {https://doi.org/10.1112/jlms/jdw045},
doi = {10.1112/JLMS/JDW045},
timestamp = {Mon, 25 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlms/KimingRW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amc/AgarwalCK15,
author = {Praveen Agarwal and
Mehar Chand and
Erkinjon Tulkinovich Karimov},
title = {Certain image formulas of generalized hypergeometric functions},
journal = {Appl. Math. Comput.},
volume = {266},
pages = {763--772},
year = {2015},
url = {https://doi.org/10.1016/j.amc.2015.05.101},
doi = {10.1016/J.AMC.2015.05.101},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amc/AgarwalCK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/em/BerkovichP15,
author = {Alexander Berkovich and
Frank Patane},
title = {Essentially Unique Representations by Certain Ternary Quadratic Forms},
journal = {Exp. Math.},
volume = {24},
number = {1},
pages = {8--22},
year = {2015},
url = {https://doi.org/10.1080/10586458.2014.938204},
doi = {10.1080/10586458.2014.938204},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/em/BerkovichP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/int/AlacaK15,
author = {Saban Alaca and
Yavuz Kesicioglu},
title = {Representations by Certain Octonary Quadratic Forms With Coefficients
1, 2, 3, and 6},
journal = {Integers},
volume = {15},
pages = {A5},
year = {2015},
url = {http://math.colgate.edu/\&\#126;integers/p5/p5.Abstract.html},
timestamp = {Wed, 25 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/int/AlacaK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/int/Matsuda15,
author = {Kazuhide Matsuda},
title = {Mixed Sums of Triangular Numbers and Certain Binary Quadratic Forms},
journal = {Integers},
volume = {15},
pages = {A49},
year = {2015},
url = {http://math.colgate.edu/\&\#126;integers/p49/p49.Abstract.html},
timestamp = {Wed, 25 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/int/Matsuda15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/IimaK15,
author = {Hitoshi Iima and
Yasuaki Kuroe},
title = {Swarm reinforcement learning methods improving certainty of learning
for a multi-robot formation problem},
booktitle = {{IEEE} Congress on Evolutionary Computation, {CEC} 2015, Sendai, Japan,
May 25-28, 2015},
pages = {3026--3033},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/CEC.2015.7257266},
doi = {10.1109/CEC.2015.7257266},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/cec/IimaK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/int/Ye14,
author = {Dongxi Ye},
title = {Representations of Squares by Certain Ternary Quadratic Forms},
journal = {Integers},
volume = {14},
pages = {A52},
year = {2014},
url = {http://math.colgate.edu/\&\#126;integers/o52/o52.Abstract.html},
timestamp = {Wed, 25 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/int/Ye14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/moc/SmajlovicJT14,
author = {Lejla Smajlovic and
Jay Jorgenson and
Holger Then},
title = {On the distribution of eigenvalues of Maass forms on certain moonshine
groups},
journal = {Math. Comput.},
volume = {83},
number = {290},
pages = {3039--3070},
year = {2014},
url = {https://doi.org/10.1090/S0025-5718-2014-02823-8},
doi = {10.1090/S0025-5718-2014-02823-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/moc/SmajlovicJT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/CepekG14,
author = {Ondrej Cepek and
Stefan Gursk{\'{y}}},
title = {On the Gap between the Complexity of {SAT} and Minimization for Certain
Classes of Boolean Formulas},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2014, Fort Lauderdale, FL, USA, January 6-8, 2014},
year = {2014},
url = {http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014\_Boolean\_Cepek\_Gursky.pdf},
timestamp = {Wed, 20 Mar 2024 17:48:47 +0100},
biburl = {https://dblp.org/rec/conf/isaim/CepekG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dcc/CardinaliP13,
author = {Ilaria Cardinali and
Antonio Pasini},
title = {On certain forms and quadrics related to symplectic dual polar spaces
in characteristic 2},
journal = {Des. Codes Cryptogr.},
volume = {68},
number = {1-3},
pages = {229--258},
year = {2013},
url = {https://doi.org/10.1007/s10623-011-9602-1},
doi = {10.1007/S10623-011-9602-1},
timestamp = {Mon, 17 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dcc/CardinaliP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/int/CooperLY13,
author = {Shaun Cooper and
Heung Yeung Lam and
Dongxi Ye},
title = {Representations of Squares by Certain Septenary Quadratic Forms},
journal = {Integers},
volume = {13},
pages = {A35},
year = {2013},
url = {http://math.colgate.edu/\&\#126;integers/n35/n35.Abstract.html},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/int/CooperLY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/Kaplansky13,
author = {Irving Kaplansky},
editor = {Ronald L. Graham and
Jaroslav Nesetril and
Steve Butler},
title = {Integers Uniquely Represented by Certain Ternary Forms},
booktitle = {The Mathematics of Paul Erd{\H{o}}s {I}},
pages = {71--79},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-1-4614-7258-2\_4},
doi = {10.1007/978-1-4614-7258-2\_4},
timestamp = {Fri, 02 Nov 2018 09:27:04 +0100},
biburl = {https://dblp.org/rec/books/daglib/p/Kaplansky13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/Tenenbaum13,
author = {G{\'{e}}rald Tenenbaum},
editor = {Ronald L. Graham and
Jaroslav Nesetril and
Steve Butler},
title = {Sur la non-d{\'{e}}rivabilit{\'{e}} de fonctions p{\'{e}}riodiques
associ{\'{e}}es {\`{a}} certaines formules sommatoires},
booktitle = {The Mathematics of Paul Erd{\H{o}}s {I}},
pages = {289--300},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-1-4614-7258-2\_19},
doi = {10.1007/978-1-4614-7258-2\_19},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/Tenenbaum13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlms/KatsuradaM12,
author = {Hidenori Katsurada and
Yoshinori Mizuno},
title = {Linear dependence of certain \emph{L}-values of half-integral weight
modular forms},
journal = {J. Lond. Math. Soc.},
volume = {85},
number = {2},
pages = {455--471},
year = {2012},
url = {https://doi.org/10.1112/jlms/jdr057},
doi = {10.1112/JLMS/JDR057},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlms/KatsuradaM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/moc/RyanSS12,
author = {Nathan C. Ryan and
Nils{-}Peter Skoruppa and
Fredrik Str{\"{o}}mberg},
title = {Numerical computation of a certain Dirichlet series attached to Siegel
modular forms of degree two},
journal = {Math. Comput.},
volume = {81},
number = {280},
pages = {2361--2376},
year = {2012},
url = {https://doi.org/10.1090/S0025-5718-2012-02584-1},
doi = {10.1090/S0025-5718-2012-02584-1},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/moc/RyanSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/WaardS12,
author = {Anita de Waard and
Jodi Schneider},
editor = {Alejandro Rodr{\'{\i}}guez Gonz{\'{a}}lez and
Jyotishman Pathak and
Mark D. Wilkinson and
Nigam Shah and
Robert Stevens and
Richard D. Boyce and
{\'{A}}ngel Garc{\'{\i}}a{-}Crespo},
title = {Formalising Uncertainty: An Ontology of Reasoning, Certainty and Attribution
{(ORCA)}},
booktitle = {Proceedings of the Joint Workshop on Semantic Technologies Applied
to Biomedical Informatics and Individualized Medicine, Boston, USA,
November 12, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {930},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-930/p2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:06 +0100},
biburl = {https://dblp.org/rec/conf/semweb/WaardS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-4124,
author = {Christian Schridde},
title = {The permanent, graph gadgets and counting solutions for certain types
of planar formulas},
journal = {CoRR},
volume = {abs/1205.4124},
year = {2012},
url = {http://arxiv.org/abs/1205.4124},
eprinttype = {arXiv},
eprint = {1205.4124},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1205-4124.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amc/Choi11,
author = {Junesang Choi},
title = {Certain summation formulas involving harmonic numbers and generalized
harmonic numbers},
journal = {Appl. Math. Comput.},
volume = {218},
number = {3},
pages = {734--740},
year = {2011},
url = {https://doi.org/10.1016/j.amc.2011.01.062},
doi = {10.1016/J.AMC.2011.01.062},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amc/Choi11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ccds/OzbudakSS11,
author = {Ferruh {\"{O}}zbudak and
Elif Saygi and
Z{\"{u}}lf{\"{u}}kar Saygi},
title = {Quadratic forms of codimension 2 over certain finite fields of even
characteristic},
journal = {Cryptogr. Commun.},
volume = {3},
number = {4},
pages = {241--257},
year = {2011},
url = {https://doi.org/10.1007/s12095-011-0051-5},
doi = {10.1007/S12095-011-0051-5},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ccds/OzbudakSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jat/LiZD11,
author = {Zhe Li and
Shugong Zhang and
Tian Dong},
title = {On the existence of certain error formulas for a special class of
ideal projectors},
journal = {J. Approx. Theory},
volume = {163},
number = {9},
pages = {1080--1090},
year = {2011},
url = {https://doi.org/10.1016/j.jat.2011.02.011},
doi = {10.1016/J.JAT.2011.02.011},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jat/LiZD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jc/BabenkoBS11,
author = {Vladislav F. Babenko and
Sergiy V. Borodachov and
Dmytro S. Skorokhodov},
title = {Optimal cubature formulas for tensor products of certain classes of
functions},
journal = {J. Complex.},
volume = {27},
number = {6},
pages = {519--530},
year = {2011},
url = {https://doi.org/10.1016/j.jco.2011.01.001},
doi = {10.1016/J.JCO.2011.01.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jc/BabenkoBS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/JonesMT11,
author = {Gareth O. Jones and
Daniel J. Miller and
Margaret E. M. Thomas},
title = {Mildness and the Density of Rational Points on Certain Transcendental
Curves},
journal = {Notre Dame J. Formal Log.},
volume = {52},
number = {1},
pages = {67--74},
year = {2011},
url = {https://doi.org/10.1215/00294527-2010-037},
doi = {10.1215/00294527-2010-037},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/JonesMT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jat/Shekhtman10,
author = {Boris Shekhtman},
title = {On non-existence of certain error formulas for ideal interpolation},
journal = {J. Approx. Theory},
volume = {162},
number = {7},
pages = {1398--1406},
year = {2010},
url = {https://doi.org/10.1016/j.jat.2010.02.009},
doi = {10.1016/J.JAT.2010.02.009},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jat/Shekhtman10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcam/SpalevicP10,
author = {Miodrag M. Spalevic and
Miroslav S. Pranic},
title = {Error bounds of certain Gaussian quadrature formulae},
journal = {J. Comput. Appl. Math.},
volume = {234},
number = {4},
pages = {1049--1057},
year = {2010},
url = {https://doi.org/10.1016/j.cam.2009.04.004},
doi = {10.1016/J.CAM.2009.04.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcam/SpalevicP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/DowneyGKKKMT10,
author = {Rodney G. Downey and
Sergei S. Goncharov and
Asher M. Kach and
Julia F. Knight and
Oleg V. Kudinov and
Alexander G. Melnikov and
Daniel Turetsky},
title = {Decidability and Computability of Certain Torsion-Free Abelian Groups},
journal = {Notre Dame J. Formal Log.},
volume = {51},
number = {1},
pages = {85--96},
year = {2010},
url = {https://doi.org/10.1215/00294527-2010-006},
doi = {10.1215/00294527-2010-006},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/DowneyGKKKMT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amc/Gorder09,
author = {Robert A. Van Gorder},
title = {Computation of certain infinite series of the form Sigma f(n)n\({}^{\mbox{k}}\)
for arbitrary real-valued k},
journal = {Appl. Math. Comput.},
volume = {215},
number = {3},
pages = {1209--1216},
year = {2009},
url = {https://doi.org/10.1016/j.amc.2009.06.064},
doi = {10.1016/J.AMC.2009.06.064},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amc/Gorder09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/appml/Markakis09,
author = {Michail P. Markakis},
title = {Closed-form solutions of certain Abel equations of the first kind},
journal = {Appl. Math. Lett.},
volume = {22},
number = {9},
pages = {1401--1405},
year = {2009},
url = {https://doi.org/10.1016/j.aml.2009.03.013},
doi = {10.1016/J.AML.2009.03.013},
timestamp = {Fri, 15 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/appml/Markakis09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcam/Miller09,
author = {Allen R. Miller},
title = {Certain summation and transformation formulas for generalized hypergeometric
series},
journal = {J. Comput. Appl. Math.},
volume = {231},
number = {2},
pages = {964--972},
year = {2009},
url = {https://doi.org/10.1016/j.cam.2009.05.013},
doi = {10.1016/J.CAM.2009.05.013},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcam/Miller09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/ChapmanCKMW09,
author = {Robin J. Chapman and
Timothy Y. Chow and
Amit Khetan and
David Petrie Moulton and
Robert J. Waters},
title = {Simple formulas for lattice paths avoiding certain periodic staircase
boundaries},
journal = {J. Comb. Theory, Ser. {A}},
volume = {116},
number = {1},
pages = {205--214},
year = {2009},
url = {https://doi.org/10.1016/j.jcta.2008.05.002},
doi = {10.1016/J.JCTA.2008.05.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jct/ChapmanCKMW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/HausTW09,
author = {Utz{-}Uwe Haus and
Klaus Truemper and
Robert Weismantel},
title = {Linear Satisfiability Algorithm for 3CNF Formulas of Certain Signaling
Networks},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {6},
number = {1-3},
pages = {13--32},
year = {2009},
url = {https://doi.org/10.3233/sat190060},
doi = {10.3233/SAT190060},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/HausTW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/CichonCJ09,
author = {Jacek Cichon and
Adam Czubak and
Andrzej Jasinski},
title = {Minimal B{\"{u}}chi Automata for Certain Classes of {LTL} Formulas},
booktitle = {Fourth International Conference on Dependability of Computer Systems,
DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009},
pages = {17--24},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/DepCoS-RELCOMEX.2009.31},
doi = {10.1109/DEPCOS-RELCOMEX.2009.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/depcos/CichonCJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Lavallee08,
author = {Sylvain Lavall{\'{e}}e},
title = {\emph{I}-rationality of a certain class of formal series},
journal = {Inf. Process. Lett.},
volume = {108},
number = {3},
pages = {124--126},
year = {2008},
url = {https://doi.org/10.1016/j.ipl.2008.04.016},
doi = {10.1016/J.IPL.2008.04.016},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Lavallee08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/na/CvijovicS08,
author = {Djurdje Cvijovic and
H. M. Srivastava},
title = {Closed-form evaluations of certain definite integrals by employing
the Cauchy integral theorem},
journal = {Numer. Algorithms},
volume = {49},
number = {1-4},
pages = {129--141},
year = {2008},
url = {https://doi.org/10.1007/s11075-008-9158-y},
doi = {10.1007/S11075-008-9158-Y},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/na/CvijovicS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amc/Nadarajah07b,
author = {Saralees Nadarajah},
title = {Simple formulas for certain polynomials},
journal = {Appl. Math. Comput.},
volume = {187},
number = {2},
pages = {1592--1596},
year = {2007},
url = {https://doi.org/10.1016/j.amc.2006.09.065},
doi = {10.1016/J.AMC.2006.09.065},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amc/Nadarajah07b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/Arnold07,
author = {Dirk V. Arnold},
editor = {Hod Lipson},
title = {On the use of evolution strategies for optimising certain positive
definite quadratic forms},
booktitle = {Genetic and Evolutionary Computation Conference, {GECCO} 2007, Proceedings,
London, England, UK, July 7-11, 2007},
pages = {634--641},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1276958.1277094},
doi = {10.1145/1276958.1277094},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gecco/Arnold07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/SunW05,
author = {Weiwei Sun and
Jiming Wu},
title = {Newton-Cotes Formulae for the Numerical Evaluation of Certain Hypersingular
Integrals},
journal = {Computing},
volume = {75},
number = {4},
pages = {297--309},
year = {2005},
url = {https://doi.org/10.1007/s00607-005-0131-5},
doi = {10.1007/S00607-005-0131-5},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computing/SunW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jat/Takata05,
author = {Tomohiro Takata},
title = {Asymptotic formulae of Mehler-Heine-type for certain classical polyorthogonal
polynomials},
journal = {J. Approx. Theory},
volume = {135},
number = {2},
pages = {160--175},
year = {2005},
url = {https://doi.org/10.1016/j.jat.2005.04.005},
doi = {10.1016/J.JAT.2005.04.005},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jat/Takata05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mcm/ChiangHL05,
author = {Chin{-}I Chiang and
Ming{-}Jiu Hwang and
Yi{-}Hsin Liu},
title = {An alternative formulation for certain fuzzy set-covering problems},
journal = {Math. Comput. Model.},
volume = {42},
number = {3-4},
pages = {363--365},
year = {2005},
url = {https://doi.org/10.1016/j.mcm.2004.05.012},
doi = {10.1016/J.MCM.2004.05.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mcm/ChiangHL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/Warrington03,
author = {Gregory S. Warrington},
title = {A formula for certain inverse Kazhdan-Lusztig polynomials in S\({}^{\mbox{n}}\)},
journal = {J. Comb. Theory, Ser. {A}},
volume = {104},
number = {2},
pages = {301--316},
year = {2003},
url = {https://doi.org/10.1016/j.jcta.2003.09.002},
doi = {10.1016/J.JCTA.2003.09.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jct/Warrington03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nspw/BackesS03,
author = {Michael Backes and
Matthias Schunter},
editor = {Christian Hempelmann and
Victor Raskin},
title = {From absence of certain vulnerabilities towards security proofs: pushing
the limits of formal verification},
booktitle = {Proceedings of the New Security Paradigms Workshop 2003, August 18-21,
2002, Ascona, Switzerland},
pages = {67--74},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/986655.986666},
doi = {10.1145/986655.986666},
timestamp = {Wed, 14 Nov 2018 10:52:51 +0100},
biburl = {https://dblp.org/rec/conf/nspw/BackesS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/Marietti02,
author = {Mario Marietti},
title = {Closed Product Formulas for CertainR-polynomials},
journal = {Eur. J. Comb.},
volume = {23},
number = {1},
pages = {57--62},
year = {2002},
url = {https://doi.org/10.1006/eujc.2001.0536},
doi = {10.1006/EUJC.2001.0536},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejc/Marietti02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/moc/DaruisGN02,
author = {Leyla Daruis and
Pablo Gonz{\'{a}}lez{-}Vera and
Olav Nj{\aa}stad},
title = {Szeg{\"{o}} quadrature formulas for certain Jacobi-type weight
functions},
journal = {Math. Comput.},
volume = {71},
number = {238},
pages = {683--701},
year = {2002},
url = {https://doi.org/10.1090/S0025-5718-01-01337-0},
doi = {10.1090/S0025-5718-01-01337-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/moc/DaruisGN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/candc/ChenW01,
author = {C. Chen and
J. C. Wu},
title = {Correlations Between Theoretical and Experimental Determination of
Heat of Formation of Certain Aromatic Nitro Compounds},
journal = {Comput. Chem.},
volume = {25},
number = {2},
pages = {117--124},
year = {2001},
url = {https://doi.org/10.1016/S0097-8485(00)00073-5},
doi = {10.1016/S0097-8485(00)00073-5},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/candc/ChenW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/candc/ChenWC01,
author = {P. C. Chen and
Jicheng Wu and
S. C. Chen},
title = {Correlations Between Theoretical and Experimental Determination of
Heat of Formation of Certain Aliphatic Nitro Compounds},
journal = {Comput. Chem.},
volume = {25},
number = {5},
pages = {439--445},
year = {2001},
url = {https://doi.org/10.1016/S0097-8485(00)00105-4},
doi = {10.1016/S0097-8485(00)00105-4},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/candc/ChenWC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/moc/BultheelDGO00,
author = {Adhemar Bultheel and
Carlos D{\'{\i}}az{-}Mendoza and
Pablo Gonz{\'{a}}lez{-}Vera and
Ram{\'{o}}n Orive},
title = {On the convergence of certain Gauss-type quadrature formulas for unbounded
intervals},
journal = {Math. Comput.},
volume = {69},
number = {230},
pages = {721--747},
year = {2000},
url = {https://doi.org/10.1090/S0025-5718-99-01107-2},
doi = {10.1090/S0025-5718-99-01107-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/moc/BultheelDGO00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Heinemann99,
author = {Bernhard Heinemann},
title = {The Complexity of Certain Modal Formulas on Binary Ramified Subset
Trees},
journal = {Fundam. Informaticae},
volume = {39},
number = {3},
pages = {259--272},
year = {1999},
url = {https://doi.org/10.3233/FI-1999-39303},
doi = {10.3233/FI-1999-39303},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Heinemann99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tit/Walker99,
author = {C. Wayne Walker},
title = {New Formulas for Solving Quadratic Equations over Certain Finite Fields},
journal = {{IEEE} Trans. Inf. Theory},
volume = {45},
number = {1},
pages = {283--284},
year = {1999},
url = {https://doi.org/10.1109/18.746816},
doi = {10.1109/18.746816},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tit/Walker99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-OH-9911010,
author = {Michael J. O'Donnell},
title = {The Sources of Certainty in Computation and Formal Systems},
journal = {CoRR},
volume = {cs.OH/9911010},
year = {1999},
url = {https://arxiv.org/abs/cs/9911010},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-OH-9911010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/GoldbachC98a,
author = {R. W. Goldbach and
H. L. Claasen},
title = {3-Class Association Schemes and Hadamard Matrices of a Certain Block
Form},
journal = {Eur. J. Comb.},
volume = {19},
number = {8},
pages = {943--951},
year = {1998},
url = {https://doi.org/10.1006/eujc.1998.0251},
doi = {10.1006/EUJC.1998.0251},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejc/GoldbachC98a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Wybraniec-Skardowska98,
author = {Urszula Wybraniec{-}Skardowska},
title = {Logical and Philosophical Ideas in Certain Formal Approaches to Language},
journal = {Synth.},
volume = {116},
number = {2},
pages = {231--277},
year = {1998},
url = {https://doi.org/10.1023/A:1005098325137},
doi = {10.1023/A:1005098325137},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Wybraniec-Skardowska98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Amin97,
author = {Mohamed Amin},
editor = {Gheorghe Paun and
Arto Salomaa},
title = {A Note on the Incomparability of the {EOL} Family with Certain Families
of Languages Generated by Cooperating Grammar Systems},
booktitle = {New Trends in Formal Languages - Control, Cooperation, and Combinatorics
(to J{\"{u}}rgen Dassow on the occasion of his 50th birthday)},
series = {Lecture Notes in Computer Science},
volume = {1218},
pages = {217--219},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-62844-4\_14},
doi = {10.1007/3-540-62844-4\_14},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Amin97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Jimenez-LopezM97,
author = {Mar{\'{\i}}a Dolores Jim{\'{e}}nez{-}L{\'{o}}pez and
Carlos Mart{\'{\i}}n{-}Vide},
editor = {Gheorghe Paun and
Arto Salomaa},
title = {Grammar Systems for the Description of Certain Natural Language Facts},
booktitle = {New Trends in Formal Languages - Control, Cooperation, and Combinatorics
(to J{\"{u}}rgen Dassow on the occasion of his 50th birthday)},
series = {Lecture Notes in Computer Science},
volume = {1218},
pages = {288--298},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-62844-4\_21},
doi = {10.1007/3-540-62844-4\_21},
timestamp = {Mon, 30 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Jimenez-LopezM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/JacobsonST96,
author = {Clas A. Jacobson and
Alexander M. Stankovic and
Gilead Tadmor},
title = {On the reduction of certain frequency-shaped linear quadratic dissipative
design problems to an H\({}_{\mbox{{\(\infty\)}}}\) formulation},
journal = {{IEEE} Trans. Autom. Control.},
volume = {41},
number = {1},
pages = {121--125},
year = {1996},
url = {https://doi.org/10.1109/9.481615},
doi = {10.1109/9.481615},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/JacobsonST96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsp/Yagle96,
author = {Andrew E. Yagle},
title = {Analytical formulae for reconstruction of certain discrete signals
from phase level and line crossings},
journal = {{IEEE} Trans. Signal Process.},
volume = {44},
number = {1},
pages = {136--138},
year = {1996},
url = {https://doi.org/10.1109/78.482022},
doi = {10.1109/78.482022},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tsp/Yagle96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/Williams96,
author = {Floyd L. Williams},
editor = {Nathaniel Dean},
title = {The role of Selberg's trace formula in the computation of Casimir
energy for certain Clifford-Klein space-times},
booktitle = {African Americans in Mathematics, Proceedings of a {DIMACS} Workshop,
Piscataway, New Jersey, USA, June 26-28, 1996},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {34},
pages = {69--82},
publisher = {{DIMACS/AMS}},
year = {1996},
url = {https://doi.org/10.1090/dimacs/034/07},
doi = {10.1090/DIMACS/034/07},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/Williams96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/AshK94,
author = {Christopher J. Ash and
Julia F. Knight},
title = {A Completeness Theorem for Certain Classes of Recursive Infinitary
Formulas},
journal = {Math. Log. Q.},
volume = {40},
pages = {173--181},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400204},
doi = {10.1002/MALQ.19940400204},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/AshK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ants/Poorten94,
author = {Alfred J. van der Poorten},
editor = {Leonard M. Adleman and
Ming{-}Deh A. Huang},
title = {Explicit formulas for units in certain quadratic number fields},
booktitle = {Algorithmic Number Theory, First International Symposium, ANTS-I,
Ithaca, NY, USA, May 6-9, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {877},
pages = {194--208},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58691-1\_57},
doi = {10.1007/3-540-58691-1\_57},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/ants/Poorten94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/AhlswedeC93,
author = {Rudolf Ahlswede and
Ning Cai},
title = {Rank Formulas for Certain Products of Matrices},
journal = {Appl. Algebra Eng. Commun. Comput.},
volume = {4},
pages = {253--261},
year = {1993},
url = {https://doi.org/10.1007/BF01200149},
doi = {10.1007/BF01200149},
timestamp = {Thu, 28 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aaecc/AhlswedeC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bonikowski92,
author = {Zbigniew Bonikowski},
title = {A Certain Conception of the Calculus of Rough Sets},
journal = {Notre Dame J. Formal Log.},
volume = {33},
number = {3},
pages = {412--121},
year = {1992},
url = {https://doi.org/10.1305/ndjfl/1093634405},
doi = {10.1305/NDJFL/1093634405},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bonikowski92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Skura92,
author = {Tomasz F. Skura},
title = {Refutation Calculi for Certain Intermediate Propositional Logics},
journal = {Notre Dame J. Formal Log.},
volume = {33},
number = {4},
pages = {552--560},
year = {1992},
url = {https://doi.org/10.1305/ndjfl/1093634486},
doi = {10.1305/NDJFL/1093634486},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/Skura92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Bryant92,
author = {Randal E. Bryant},
editor = {Jan van Leeuwen},
title = {Formal Verification: {A} Slow, but Certain Evolution},
booktitle = {Algorithms, Software, Architecture - Information Processing '92, Volume
1, Proceedings of the {IFIP} 12th World Computer Congress, Madrid,
Spain, 7-11 September 1992},
series = {{IFIP} Transactions},
volume = {{A-12}},
pages = {712},
publisher = {North-Holland},
year = {1992},
timestamp = {Wed, 14 Aug 2002 08:51:19 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Bryant92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tit/LempelS91,
author = {Abraham Lempel and
Gadiel Seroussi},
title = {Explicit formulas for self-complementary normal bases in certain finite
fields},
journal = {{IEEE} Trans. Inf. Theory},
volume = {37},
number = {4},
pages = {1220--1222},
year = {1991},
url = {https://doi.org/10.1109/18.86978},
doi = {10.1109/18.86978},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tit/LempelS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/Niederreiter90a,
author = {Harald Niederreiter},
title = {An Enumeration Formula for Certain Irreducible Polynomials with an
Application to the Construction of Irreducible Polynomials over the
Binary Field},
journal = {Appl. Algebra Eng. Commun. Comput.},
volume = {1},
pages = {119--124},
year = {1990},
url = {https://doi.org/10.1007/BF01810295},
doi = {10.1007/BF01810295},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aaecc/Niederreiter90a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/ChouY89,
author = {Shang{-}Ching Chou and
Jin{-}Gen Yang},
title = {On the Algebraic Formulation of Certain Geometry Statements and Mechanical
Geometry Theorem Proving},
journal = {Algorithmica},
volume = {4},
number = {2},
pages = {237--262},
year = {1989},
url = {https://doi.org/10.1007/BF01553889},
doi = {10.1007/BF01553889},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/ChouY89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Boricic88,
author = {Branislav R. Boricic},
title = {On certain normalizable natural deduction formulations of some propositional
intermediate logics},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {4},
pages = {563--568},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093638020},
doi = {10.1305/NDJFL/1093638020},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Boricic88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Tapscott87,
author = {Bangs L. Tapscott},
title = {A simplified natural deduction approach to certain modal systems},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {3},
pages = {371--384},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093637557},
doi = {10.1305/NDJFL/1093637557},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Tapscott87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ArvindB87,
author = {Vikraman Arvind and
Somenath Biswas},
editor = {Kesav V. Nori},
title = {On Certain Bandwidth Restricted Versions of the Satisfaiability Problem
of Propositional {CNF} Formulas},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
Seventh Conference, Pune, India, December 17-19, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {287},
pages = {456--469},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18625-5\_68},
doi = {10.1007/3-540-18625-5\_68},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/ArvindB87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acm/FangD86,
author = {Zhixi Fang and
Jitender S. Deogun},
editor = {Lawrence A. Jehn and
Larry A. Crum},
title = {Closure properties of certain classes of languages under bi-language
form},
booktitle = {Proceedings of the 14th {ACM} Annual Conference on Computer Science,
Cincinnati, Ohio, USA, 1986},
pages = {464},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/324634.325252},
doi = {10.1145/324634.325252},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acm/FangD86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Lindstrom84,
author = {Per Lindstr{\"{o}}m},
title = {On certain lattices of degrees of interpretability},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {2},
pages = {127--140},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870573},
doi = {10.1305/NDJFL/1093870573},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Lindstrom84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jal/Feig83a,
author = {Ephraim Feig},
title = {Certain Systems of Bilinear Forms Whose Minimal Algorithms Are All
Quadratic},
journal = {J. Algorithms},
volume = {4},
number = {2},
pages = {137--149},
year = {1983},
url = {https://doi.org/10.1016/0196-6774(83)90041-X},
doi = {10.1016/0196-6774(83)90041-X},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jal/Feig83a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Boolos82a,
author = {George Boolos},
title = {On the Nonexistence of Certain Normal Forms in the Logic of Provability},
journal = {J. Symb. Log.},
volume = {47},
number = {3},
pages = {638--640},
year = {1982},
url = {https://doi.org/10.2307/2273593},
doi = {10.2307/2273593},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Boolos82a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Brandstadt81,
author = {Andreas Brandst{\"{a}}dt},
title = {Closure Properties of Certain Families of Formal Languages with Respect
to a Generalization of Cyclic Closure},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {15},
number = {3},
pages = {233--252},
year = {1981},
url = {https://doi.org/10.1051/ita/1981150302331},
doi = {10.1051/ITA/1981150302331},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/Brandstadt81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/AspvallPT79,
author = {Bengt Aspvall and
Michael F. Plass and
Robert Endre Tarjan},
title = {A Linear-Time Algorithm for Testing the Truth of Certain Quantified
Boolean Formulas},
journal = {Inf. Process. Lett.},
volume = {8},
number = {3},
pages = {121--123},
year = {1979},
url = {https://doi.org/10.1016/0020-0190(79)90002-4},
doi = {10.1016/0020-0190(79)90002-4},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/AspvallPT79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Lamagna79,
author = {Edmund A. Lamagna},
title = {The Complexity of Monotone Networks for Certain Bilinear Forms, Routing
Problems, Sorting, and Merging},
journal = {{IEEE} Trans. Computers},
volume = {28},
number = {10},
pages = {773--782},
year = {1979},
url = {https://doi.org/10.1109/TC.1979.1675245},
doi = {10.1109/TC.1979.1675245},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/Lamagna79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Hawkins78,
author = {Benjamin S. Hawkins},
title = {On certain incapacities claimed for logicians},
journal = {Notre Dame J. Formal Log.},
volume = {19},
number = {3},
pages = {416--418},
year = {1978},
url = {https://doi.org/10.1305/ndjfl/1093888401},
doi = {10.1305/NDJFL/1093888401},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Hawkins78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Henderson78,
author = {Keith W. Henderson},
title = {Suggested Standard Forms for Certain Real Hadamard Matrices},
journal = {{IEEE} Trans. Computers},
volume = {27},
number = {5},
pages = {469--471},
year = {1978},
url = {https://doi.org/10.1109/TC.1978.1675130},
doi = {10.1109/TC.1978.1675130},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/Henderson78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Wechsung77,
author = {Gerd Wechsung},
editor = {Bruce Gilchrist},
title = {A Nonlinear Lower Bound for the Formula Complexity of Certain Boolean
Functions},
booktitle = {Information Processing, Proceedings of the 7th {IFIP} Congress 1977,
Toronto, Canada, August 8-12, 1977},
pages = {831--833},
publisher = {North-Holland},
year = {1977},
timestamp = {Fri, 26 Jul 2019 22:58:45 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Wechsung77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sudkamp76,
author = {Thomas A. Sudkamp},
title = {A proof of Soboci{\'{n}}ski's conjecture concerning a certain
set of lattice-theoretical formulas},
journal = {Notre Dame J. Formal Log.},
volume = {17},
number = {4},
pages = {615--616},
year = {1976},
url = {https://doi.org/10.1305/ndjfl/1093887731},
doi = {10.1305/NDJFL/1093887731},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sudkamp76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/DeMillo75,
author = {Richard A. DeMillo},
title = {Non-definability of certain semantic properties of programs},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {4},
pages = {583--590},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891904},
doi = {10.1305/NDJFL/1093891904},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/DeMillo75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Bledcoe75,
author = {W. W. Bledsoe},
title = {A New Mehtod for Proving Certain Presburger Formules},
booktitle = {Advance Papers of the Fourth International Joint Conference on Artificial
Intelligence, Tbilisi, Georgia, USSR, September 3-8, 1975},
pages = {15--21},
year = {1975},
url = {http://ijcai.org/Proceedings/75/Papers/003.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:24 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Bledcoe75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/CourcelleV74,
author = {Bruno Courcelle and
Jean Vuillemin},
editor = {Bernard J. Robinet},
title = {Compl{\'{e}}tude d'un syst{\`{e}}me formel pour prouver l'{\'{e}}quivalence
de certains sch{\'{e}}mas r{\'{e}}cursifs monadiques},
booktitle = {Programming Symposium, Proceedings Colloque sur la Programmation,
Paris, France, April 9-11, 1974},
series = {Lecture Notes in Computer Science},
volume = {19},
pages = {234--252},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-06859-7\_137},
doi = {10.1007/3-540-06859-7\_137},
timestamp = {Thu, 24 Feb 2022 13:41:39 +0100},
biburl = {https://dblp.org/rec/conf/programm/CourcelleV74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/000273,
author = {David Meredith},
title = {On a property of certain propositional formulae},
journal = {Notre Dame J. Formal Log.},
volume = {14},
number = {1},
pages = {103--106},
year = {1973},
url = {https://doi.org/10.1305/ndjfl/1093890814},
doi = {10.1305/NDJFL/1093890814},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/000273.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Solms73,
author = {Sebastiaan H. von Solms},
editor = {Karl{-}Heinz B{\"{o}}hling and
Klaus Indermark},
title = {The characterization of certain classes of languages in the context
sensitive area by automata},
booktitle = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
series = {Lecture Notes in Computer Science},
volume = {2},
pages = {182--190},
publisher = {Springer},
year = {1973},
url = {https://doi.org/10.1007/BFb0039153},
doi = {10.1007/BFB0039153},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/automata/Solms73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inria/Oden73,
author = {J. Tinsley Oden},
editor = {Roland Glowinski and
Jacques{-}Louis Lions},
title = {Formulation and application of certain primal and mixed finite element
models of finite deformations of elastic bodies},
booktitle = {Computing Methods in Applied Sciences and Engineering, Part 1, International
Symposium, Versailles, France, December 17-21, 1973, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10},
pages = {334--365},
publisher = {Springer},
year = {1973},
url = {https://doi.org/10.1007/BFb0015182},
doi = {10.1007/BFB0015182},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/inria/Oden73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobocinski72a,
author = {Boleslaw Sobocinski},
title = {Certain sets of postulates for distributive lattices with the constant
elements},
journal = {Notre Dame J. Formal Log.},
volume = {13},
number = {1},
pages = {119--123},
year = {1972},
url = {https://doi.org/10.1305/ndjfl/1093894633},
doi = {10.1305/NDJFL/1093894633},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski72a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Frascella71,
author = {William J. Frascella},
title = {Certain counterexamples to the construction of combinatorial designs
on infinite sets},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {4},
pages = {461--466},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894369},
doi = {10.1305/NDJFL/1093894369},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Frascella71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobocinski70a,
author = {Boleslaw Sobocinski},
title = {Certain extensions of modal system {S4}},
journal = {Notre Dame J. Formal Log.},
volume = {11},
number = {3},
pages = {347--368},
year = {1970},
url = {https://doi.org/10.1305/ndjfl/1093894006},
doi = {10.1305/NDJFL/1093894006},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski70a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Frascella69,
author = {William J. Frascella},
title = {The non-existence of a certain combinatorial design on an infinite
set},
journal = {Notre Dame J. Formal Log.},
volume = {10},
number = {3},
pages = {317--323},
year = {1969},
url = {https://doi.org/10.1305/ndjfl/1093893723},
doi = {10.1305/NDJFL/1093893723},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Frascella69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ior/Pincus68,
author = {Martin Pincus},
title = {Letter to the Editor - -A Closed Form Solution of Certain Programming
Problems},
journal = {Oper. Res.},
volume = {16},
number = {3},
pages = {690--694},
year = {1968},
url = {https://doi.org/10.1287/opre.16.3.690},
doi = {10.1287/OPRE.16.3.690},
timestamp = {Tue, 31 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ior/Pincus68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Revesz68,
author = {Gy{\"{o}}rgy E. R{\'{e}}v{\'{e}}sz},
title = {An Efficient Syntactic Analyser of Certain Formal Languages},
journal = {Math. Syst. Theory},
volume = {2},
number = {2},
pages = {147--158},
year = {1968},
url = {https://doi.org/10.1007/BF01692512},
doi = {10.1007/BF01692512},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/Revesz68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Gemignani67a,
author = {Michael C. Gemignani},
title = {On the independence of certain axioms in the definition of an m-arrangement},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {3},
pages = {225--226},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1093956086},
doi = {10.1305/NDJFL/1093956086},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Gemignani67a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Shukla67,
author = {Anjan Shukla},
title = {A note on the axiomatizations of certain modal systems},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {1-2},
pages = {118--120},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1093956249},
doi = {10.1305/NDJFL/1093956249},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Shukla67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tit/Kailath67,
author = {Thomas Kailath},
title = {A simple rule for checking the validity of certain detection formulas
(Corresp.)},
journal = {{IEEE} Trans. Inf. Theory},
volume = {13},
number = {1},
pages = {144--145},
year = {1967},
url = {https://doi.org/10.1109/TIT.1967.1053933},
doi = {10.1109/TIT.1967.1053933},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tit/Kailath67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobocinski65,
author = {Boleslaw Sobocinski},
title = {A note on certain set-theoretical formulas},
journal = {Notre Dame J. Formal Log.},
volume = {6},
number = {2},
pages = {157--160},
year = {1965},
url = {https://doi.org/10.1305/ndjfl/1093958157},
doi = {10.1305/NDJFL/1093958157},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobocinski64a,
author = {Boleslaw Sobocinski},
title = {Remarks about axiomatizations of certain modal systems},
journal = {Notre Dame J. Formal Log.},
volume = {5},
number = {1},
pages = {71--80},
year = {1964},
url = {https://doi.org/10.1305/ndjfl/1093957741},
doi = {10.1305/NDJFL/1093957741},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski64a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Mullin63,
author = {Albert A. Mullin},
title = {On differences of certain structured sets},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {2},
pages = {158--160},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957510},
doi = {10.1305/NDJFL/1093957510},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Mullin63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Brumm62,
author = {Gordon L. Brumm},
title = {The method of possibility-diagrams for testing the validity of certain
types of inferences, based on Jevons' logical alphabet},
journal = {Notre Dame J. Formal Log.},
volume = {3},
number = {4},
pages = {209--233},
year = {1962},
url = {https://doi.org/10.1305/ndjfl/1093957315},
doi = {10.1305/NDJFL/1093957315},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Brumm62.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobocinski61d,
author = {Boleslaw Sobocinski},
title = {Certain formulas equivalent to the axiom of choice},
journal = {Notre Dame J. Formal Log.},
volume = {2},
number = {4},
pages = {229--235},
year = {1961},
url = {https://doi.org/10.1305/ndjfl/1093956974},
doi = {10.1305/NDJFL/1093956974},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski61d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Chomsky59a,
author = {Noam Chomsky},
title = {On Certain Formal Properties of Grammars},
journal = {Inf. Control.},
volume = {2},
number = {2},
pages = {137--167},
year = {1959},
url = {https://doi.org/10.1016/S0019-9958(59)90362-6},
doi = {10.1016/S0019-9958(59)90362-6},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Chomsky59a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Curry42a,
author = {Haskell B. Curry},
title = {The Inconsistency of Certain Formal Logic},
journal = {J. Symb. Log.},
volume = {7},
number = {3},
pages = {115--117},
year = {1942},
url = {https://doi.org/10.2307/2269292},
doi = {10.2307/2269292},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Curry42a.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-04-25 08:05 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:
