Search or ask a question
Pricing
Login
Sign up
Home
Notebook
BETA
Literature Review
Copilot
Citation generator
Paraphraser
AI Detector
Chrome Extension
Talk with us
Use on ChatGPT
View figures gallery
Table 2. The procedures Π(Γ ) and Apply(Γ )
...read more
Content maybe subject to copyright
Book Chapter
•
DOI
•
Tableau Calculi for the Logics of Finite k-Ary Trees
[...]
Mauro Ferrari
1
,
Camillo Fiorentini
1
,
Guido Fiorino
•
Institutions (1)
University of Milan
1
30 Jul 2002
-