Abella: A System for Reasoning about Relational Specifications (Q5195258): Difference between revisions

@@ label / en / label / en @@
+Abella: A System for Reasoning about Relational Specifications
@@ Property / author @@
-Dale A. Miller
@@ Property / author: Dale A. Miller / rank @@
-Normal rank
@@ Property / author @@
+Dale A. Miller
@@ Property / author: Dale A. Miller / 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://hal.inria.fr/hal-01102709
@@ Property / full work available at URL: https://hal.inria.fr/hal-01102709 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1961757151
@@ Property / OpenAlex ID: W1961757151 / rank @@
+Normal rank
@@ Property / title @@
+Abella: A System for Reasoning about Relational Specifications (English)
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5195258