Skip to main navigation
Skip to search
Skip to main content
Ben-Gurion University Research Portal Home
Help & FAQ
Home
Profiles
Research output
Research units
Prizes
Press/Media
Student theses
Activities
Research Labs / Equipment
Datasets
Projects
Search by expertise, name or affiliation
Intuitionistic ancestral logic
Liron Cohen
, Robert L. Constable
Research output
:
Contribution to journal
›
Article
›
peer-review
2
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Intuitionistic ancestral logic'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Engineering & Materials Science
Logic programming
99%
Algebra
87%
Computer programming languages
76%
Acoustic waves
66%
Specifications
54%
Mathematics
Intuitionistic Logic
100%
First-order Logic
26%
Kleene Algebra
16%
Transitive Closure
15%
Logic Programming
14%
Type Theory
13%
Programming Languages
12%
Sound
11%
Specification
10%
Logic
9%
Intersection
8%
Operator
5%
Arts & Humanities
Logic
48%
First-order Logic
33%
Constructive Type Theory
23%
Logic Programming
16%
Programming Languages
15%
Transitive
15%
Algebra
14%
Functionality
13%
Closure
13%
Operator
12%
Computational
12%
Sound
9%