Classical Logic with Partial Functions (Q5747762): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-14203-1_18
+Normal rank
@@ Property / OpenAlex ID @@
+W1511258729
@@ Property / OpenAlex ID: W1511258729 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848053
@@ Property / cites work: Q2848053 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Well-Definedness Checking
@@ Property / cites work: Efficient Well-Definedness Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Geometric Resolution: A Proof Procedure Based on Finite Model Search
+Normal rank
@@ Property / cites work @@
+A set theory with support for partial functions
@@ Property / cites work: A set theory with support for partial functions / rank @@
+Normal rank
@@ Property / cites work @@
+Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages
+Normal rank
@@ Property / cites work @@
+A mechanization of strong Kleene logic for partial functions
+Normal rank