Classical logic with partial functions (Q438568): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-011-9236-z
+Normal rank
@@ Property / OpenAlex ID @@
+W1999732797
@@ Property / OpenAlex ID: W1999732797 / 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 @@
+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 @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages
+Normal rank
@@ Property / cites work @@
+Classical Logic with Partial Functions
@@ Property / cites work: Classical Logic with Partial Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Geometric Resolution: A Proof Procedure Based on Finite Model Search
+Normal rank
@@ Property / cites work @@
+Q3866101
@@ Property / cites work: Q3866101 / rank @@
+Normal rank
@@ Property / cites work @@
+Lower Bounds on Herbrand's Theorem
@@ Property / cites work: Lower Bounds on Herbrand's Theorem / rank @@
+Normal rank