Difference between revisions of "TABLEAUX"
Jump to navigation
Jump to search
(CSV conf series import) |
Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271)) |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
{{Event series | {{Event series | ||
| − | | | + | |Acronym=TABLEAUX |
| − | |Title=International Conference on Theorem Proving with Analytic Tableaux and Related Methods | + | |Title =International Conference on Theorem Proving with Analytic Tableaux and Related Methods |
|has CORE2017 Rank=A | |has CORE2017 Rank=A | ||
| + | |Field =Logic | ||
| + | |pageCreator=Soeren | ||
| + | |pageEditor=Soeren | ||
| + | |contributionType=1 | ||
}} | }} | ||
Latest revision as of 21:23, 1 April 2022
TABLEAUX 
| TABLEAUX | |
|---|---|
International Conference on Theorem Proving with Analytic Tableaux and Related Methods
| |
Categories: Logic
| |
| CORE Rank (2017): | A |
| Avg. acceptance rate: | 0 |
| Avg. acceptance rate (last 5 years): | 0 |
| Table of Contents | |
International Conference on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX) has an average acceptance rate of 0% (last 5 years 0%).
Events
There are 1 events of the series TABLEAUX known to this wiki: TABLEAUX 2020
| Ordinal | Year | From | To | City | Country | presence | Homepage | TibKatId | GND | dblp | WikiCFP | Wikidata | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| TABLEAUX 2020 | 2020 | Jun 29 | Jul 5 | Paris | France | http://www.tableaux-ar.org/next.html |
Submission/Acceptance
Locations