Works matching DE "FIRST-order logic"
1
- Journal of Logic & Computation, 2025, v. 35, n. 5, p. 1, doi. 10.1093/logcom/exaf039
- Grefenshtein, Alexander V
- Article
2
- Diagram, 2023, v. 23, n. 6, p. 1
- Article
3
- Journal of Multiple-Valued Logic & Soft Computing, 2007, v. 13, n. 4-6, p. 335
- Zamansky, Anna;
- Avron, Arnon
- Article
4
- Review of Economic Studies, 1980, v. 47, n. 4, p. 817, doi. 10.2307/2296948
- Article
5
- Review of Economic Studies, 1976, v. 43, n. 1, p. 49, doi. 10.2307/2296599
- Dusansky, Richard;
- Walsh, John
- Article
6
- Operations Research, 1981, v. 29, n. 2, p. 263, doi. 10.1287/opre.29.2.263
- Bonczek, Robert H.;
- Clyde W. Holsapple;
- Andrew B. Whinston
- Article
7
- Artificial Intelligence & Law, 2024, v. 32, n. 3, p. 595, doi. 10.1007/s10506-023-09362-x
- Zhou, Xiang;
- Liu, Qi;
- Wu, Yiquan;
- Chen, Qiangchao;
- Kuang, Kun
- Article
8
- Artificial Intelligence & Law, 2024, v. 32, n. 2, p. 505, doi. 10.1007/s10506-023-09360-z
- Robaldo, Livio;
- Batsakis, Sotiris;
- Calegari, Roberta;
- Calimeri, Francesco;
- Fujita, Megumi;
- Governatori, Guido;
- Morelli, Maria Concetta;
- Pacenza, Francesco;
- Pisano, Giuseppe;
- Satoh, Ken;
- Tachmazidis, Ilias;
- Zangari, Jessica
- Article
9
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 2, p. 205, doi. 10.1007/s10009-015-0380-3
- Decker, Normann;
- Leucker, Martin;
- Thoma, Daniel
- Article
10
- International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 4, p. 439, doi. 10.1007/s10009-012-0227-0
- Article
11
- Ukrainian Mathematical Journal, 2015, v. 66, n. 11, p. 1696, doi. 10.1007/s11253-015-1045-9
- Martynyuk, A.;
- Martynyuk-Chernienko, Yu.
- Article
12
- Algebra & Logic, 2023, v. 62, n. 4, p. 376, doi. 10.1007/s10469-024-09752-3
- Article
13
- Algebra & Logic, 2023, v. 61, n. 6, p. 491, doi. 10.1007/s10469-023-09715-0
- Article
14
- Algebra & Logic, 2016, v. 55, n. 1, p. 9, doi. 10.1007/s10469-016-9372-y
- Article
15
- Algebra & Logic, 2011, v. 49, n. 6, p. 526, doi. 10.1007/s10469-011-9115-z
- Article
16
- INFORMS Journal on Optimization, 2024, v. 6, n. 2, p. 118, doi. 10.1287/ijoo.2021.0029
- Zhang, Junyu;
- Hong, Mingyi
- Article
17
- Boundary-Layer Meteorology, 2008, v. 126, n. 2, p. 237, doi. 10.1007/s10546-007-9231-4
- Article
18
- Journal of the National Science Foundation of Sri Lanka, 2019, v. 47, n. 4, p. 393, doi. 10.4038/jnsfsr.v47i4.9678
- Dewasurendra, S. D.;
- Vidanapathirana, A. C.;
- Abeyratne, S. G.
- Article
19
- Journal of Clinical Psychology, 1970, v. 26, n. 1, p. 70, doi. 10.1002/1097-4679(197001)26:1<70::AID-JCLP2270260118>3.0.CO;2-9
- Article
20
- Journal of European Integration, 2023, v. 45, n. 7, p. 995, doi. 10.1080/07036337.2023.2220878
- Muyters, Gertjan;
- Maddens, Bart
- Article
21
- International Journal of Mathematical Education in Science & Technology, 2010, v. 41, n. 8, p. 1085, doi. 10.1080/0020739X.2010.500693
- Article
22
- Revus: Journal for Constitutional Theory & Philosophy of Law, 2021, v. 44, p. 85, doi. 10.4000/revus.7375
- Article
23
- Theory & Practice of Logic Programming, 2012, v. 12, n. 3, p. 383, doi. 10.1017/S1471068411000081
- FERRARIS, PAOLO;
- LEE, JOOHYUNG;
- LIERLER, YULIYA;
- LIFSCHITZ, VLADIMIR;
- YANG, FANGKAI
- Article
24
- Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 581, doi. 10.1017/S1471068410000293
- Ping Hou;
- de Cat, Broes;
- Denecker, Marc
- Article
25
- eLife, 2022, p. 1, doi. 10.7554/eLife.76926
- Abdallah, Majd;
- Zanitti, Gaston E.;
- Iovene, Valentin;
- Wassermann, Demian
- Article
26
- Malaysian Journal of Mathematical Sciences, 2015, v. 9, n. 1, p. 67
- Ibragimov, Gafurjan;
- Tukhtasinov, Muminjon;
- Hasim, Risman Mat;
- Alias, Idham Arif
- Article
27
- Studia Humana, 2024, v. 13, n. 2, p. 1, doi. 10.2478/sh-2024-0007
- Article
28
- Studia Humana, 2020, v. 9, n. 3/4, p. 19, doi. 10.2478/sh-2020-0026
- Article
29
- Discrete & Continuous Dynamical Systems - Series S, 2018, v. 11, n. 6, p. 1143, doi. 10.3934/dcdss.2018065
- Article
30
- Nous (0029-4624), 2022, v. 56, n. 2, p. 276, doi. 10.1111/nous.12357
- Article
31
- Nous (0029-4624), 2020, v. 54, n. 2, p. 431, doi. 10.1111/nous.12256
- Article
32
- Nous (0029-4624), 2010, v. 44, n. 2, p. 329, doi. 10.1111/j.1468-0068.2010.00742.x
- Pedersen, Nikolaj Jang Lee Linding;
- Rossberg, Marcus
- Article
33
- Software Testing: Verification & Reliability, 2022, v. 32, n. 1, p. 1, doi. 10.1002/stvr.1793
- Monteiro, Felipe R.;
- Gadelha, Mikhail R.;
- Cordeiro, Lucas C.
- Article
34
- Software Testing: Verification & Reliability, 2014, v. 24, n. 7, p. 499, doi. 10.1002/stvr.1537
- Cantenot, Jérôme;
- Ambert, Fabrice;
- Bouquet, Fabrice
- Article
35
- Azerbaijan Journal of Mathematics, 2015, v. 5, n. 2, p. 47
- Article
36
- Journal of Business & Economic Statistics, 1993, v. 11, n. 3, p. 311, doi. 10.2307/1391955
- DeJong, David N.;
- Whiteman, Charles H.
- Article
37
- Discrete & Continuous Dynamical Systems - Series B, 2012, v. 17, n. 6, p. 2073, doi. 10.3934/dcdsb.2012.17.2073
- Article
38
- Discrete & Continuous Dynamical Systems - Series B, 2012, v. 17, n. 6, p. 1693, doi. 10.3934/dcdsb.2012.17.1693
- Barron, Emmanuel N.;
- Goebel, Rafal;
- Jensen, Robert R.
- Article
39
- Journal of Formalized Reasoning, 2019, v. 12, n. 1, p. 1
- Padmanabhan, R.;
- Yang Zhang
- Article
40
- Review of Symbolic Logic, 2025, v. 18, n. 1, p. 300, doi. 10.1017/S1755020324000029
- KHALED, MOHAMED;
- SZÉKELY, GERGELY
- Article
41
- Review of Symbolic Logic, 2025, v. 18, n. 1, p. 142, doi. 10.1017/S1755020323000357
- Article
42
- Review of Symbolic Logic, 2024, v. 17, n. 4, p. 1097, doi. 10.1017/S1755020323000242
- ANDRÉKA, HAJNAL;
- MADARÁSZ, JUDIT;
- NÉMETI, ISTVÁN;
- SZÉKELY, GERGELY
- Article
43
- Review of Symbolic Logic, 2024, v. 17, n. 3, p. 793, doi. 10.1017/S1755020323000096
- Article
44
- Review of Symbolic Logic, 2024, v. 17, n. 1, p. 1, doi. 10.1017/S1755020322000247
- BELLAS ACOSTA, IGNACIO;
- VENEMA, YDE
- Article
45
- Review of Symbolic Logic, 2023, v. 16, n. 2, p. 578, doi. 10.1017/S1755020321000083
- BONNAY, DENIS;
- WESTERSTÅHL, DAG
- Article
46
- Review of Symbolic Logic, 2023, v. 16, n. 1, p. f1, doi. 10.1017/S1755020323000011
- Article
47
- Review of Symbolic Logic, 2023, v. 16, n. 1, p. 241, doi. 10.1017/S1755020321000198
- GRILLETTI, GIANLUCA;
- CIARDELLI, IVANO
- Article
48
- Review of Symbolic Logic, 2022, v. 15, n. 3, p. 771, doi. 10.1017/S1755020321000277
- CARNIELLI, WALTER;
- CONIGLIO, MARCELO E.;
- FUENMAYOR, DAVID
- Article
49
- Review of Symbolic Logic, 2022, v. 15, n. 2, p. 311, doi. 10.1017/S175502032100037X
- MEISSNER, SILKE;
- OTTO, MARTIN
- Article
50
- Review of Symbolic Logic, 2022, v. 15, n. 2, p. 334, doi. 10.1017/S1755020321000149
- MADARÁSZ, JUDIT X.;
- STANNETT, MIKE;
- SZÉKELY, GERGELY
- Article