Axiomatization of Typed First-Order Logic (Q5206956): Difference between revisions

@@ Property / author @@
-Peter H. Schmitt
@@ Property / author: Peter H. Schmitt / rank @@
-Normal rank
@@ Property / author @@
+Peter H. Schmitt
@@ Property / author: Peter H. Schmitt / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-19249-9_29
+Normal rank
@@ Property / OpenAlex ID @@
+W2296150819
@@ Property / OpenAlex ID: W2296150819 / rank @@
+Normal rank
@@ Property / cites work @@
+Expressing Polymorphic Types in a Many-Sorted Language
+Normal rank
@@ Property / cites work @@
+Tools and algorithms for the construction and analysis of systems. 16th international conference, TACAS 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20--28, 2010. Proceedings
+Normal rank
@@ Property / cites work @@
+Q3743300
@@ Property / cites work: Q3743300 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning with Analytic Tableaux and Related Methods
+Normal rank
@@ Property / cites work @@
+A Polymorphic Intermediate Verification Language: Design and Logical Encoding
+Normal rank
@@ Property / cites work @@
+Frontiers of combining systems. 8th international symposium, FroCoS 2011, Saarbrücken, Germany, October 5--7, 2011. Proceedings
+Normal rank
@@ Property / cites work @@
+Q3992821
@@ Property / cites work: Q3992821 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4860657
@@ Property / cites work: Q4860657 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5206956