• Suche: "two-variable fragment of first-order logic"

Treffer 1 - 8 von 8

1

Propositional Epistemic Logics with Quantification Over Agents of Knowledge (An Alternative Approach)
Shtakser, Gennady
Studia Logica: An International Journal for Symbolic Logic. 107(4):753-780

Fachzeitschrift
Zu den Favoriten
2

On the Automated Verification of Web Applications with Embedded SQL
Itzhaky, Shachar ; Kotek, Tomer ; Rinetzky, Noam ; et al.

SQL scripting language web services program verification two-variable fragment of... decidability …
Fachzeitschrift
Zu den Favoriten
3

Complexity of the Two-Variable Fragment with Counting Quantifiers: Complexity of the two-variable fragment with counting quantifiers
Pratt-Hartmann, Ian
Pratt-Hartmann, I 2005, 'Complexity of the two-variable fragment with counting quantifiers', Journal of Logic, Language and Information, vol. 14, no. 3, pp. 369-395. https://doi.org/10.1007/s10849-005-5791-1

Complexity of computatio... Logic 4. Education Complexity 0102 computer and inform... 02 engineering and techn... …
Fachzeitschrift
Zu den Favoriten
4

A Two-Variable Fragment of English: A two-variable fragment of English
Pratt-Hartmann, I.
Pratt-Hartmann, I 2003, 'A Two-Variable Fragment of English.', Journal of Logic, Language and Information, vol. 12, pp. 13-45. https://doi.org/10.1023/A:1021149027971

controlled languages logic specification Natural language process... Logic of natural languag... 0202 electrical engineer... …
Fachzeitschrift
Zu den Favoriten
5

Two variable first-order logic over ordered domains
Martin Otto
Journal of Symbolic Logic. 66:685-702

Complexity of computatio... Analysis of algorithms a... satisfiability problem finite satisfiability decidability complexity of decision p... …
Fachzeitschrift
Zu den Favoriten
6

On the automated verification of web applications with embedded SQL
Itzhaky, Shachar ; Kotek, Tomer ; Rinetzky, Noam ; et al.

FOS: Computer and inform... SQL Computer Science - Logic... scripting language web services program verification …
Fachzeitschrift
Zu den Favoriten
7

Dieses Ergebnis kann Gästen nicht angezeigt werden.

8

On the Automated Verification of Web Applications with Embedded SQL
Shachar Itzhaky and Tomer Kotek and Noam Rinetzky and Mooly Sagiv and Orr Tamir and Helmut Veith and Florian Zuleger ; Itzhaky, Shachar ; Kotek, Tomer ; et al.

E-Ressource
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter