cvb._sessions: null
cvb.acronym: AReCCa 2023
cvb.archive: http://sunsite.informatik.rwth-aachen.de/ftp/pub/publications/CEUR-WS/Vol-3613.zip
cvb.ceurpubdate: '2024-01-08'
cvb.city: null
cvb.cityWikidataId: null
cvb.colocated: TABLEAUX 2023
cvb.conference: null
cvb.country: null
cvb.countryWikidataId: null
cvb.date: null
cvb.dateFrom: null
cvb.dateTo: null
cvb.desc: '?'
cvb.editors: Jens Otten, Wolfgang Bibel
cvb.fromLine: 10036
cvb.fullTitle: null
cvb.h1: AReCCa 2023 Automated Reasoning with Connection Calculi 2023
cvb.h3: Proceedings of the 1st International Workshop on Automated Reasoning with
  Connection Calculi (AReCCa 2023) affiliated with the 32nd International Conference
  on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2023)
cvb.homepage: http://leancop.de/AReCCa-2023/
cvb.lang: null
cvb.location: null
cvb.loctime: Prague, Czech Republic, September 18, 2023
cvb.number: 3613
cvb.ordinal: null
cvb.pubDate: '2024-01-08T00:00:00'
cvb.pubYear: null
cvb.published: '2024-01-08'
cvb.region: null
cvb.seealso: ''
cvb.submitDate: null
cvb.submittedBy: Jens Otten
cvb.tdtitle: null
cvb.title: Proceedings of the 1st International Workshop on Automated Reasoning with
  Connection Calculi (AReCCa 2023)
cvb.toLine: 10060
cvb.url: http://ceur-ws.org/Vol-3613/
cvb.urn: urn:nbn:de:0074-3613-0
cvb.urn_check_digit: 0
cvb.urn_ok: true
cvb.valid: null
cvb.virtualEvent: false
cvb.volname: null
cvb.voltitle: Automated Reasoning with Connection Calculi 2023
cvb.volume_number: Vol-3613
cvb.year: '2022'
spt.acronym: AReCCa 2023
spt.date: '2024-01-08'
spt.dblp: null
spt.description: Proceedings of AReCCa 2023 workshop
spt.html_url: /Vol-3613.html
spt.k10plus: null
spt.number: 3613
spt.title: Proceedings of the 1st International Workshop on Automated Reasoning with
  Connection Calculi (AReCCa 2023)
spt.url: http://ceur-ws.org/Vol-3613/
spt.urn: urn:nbn:de:0074-3613-0
spt.wikidataid: Q124240644
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
wd.URN_NBN: urn:nbn:de:0074-3613-0
wd.Volume: null
wd.dblpEventId: ''
wd.dblpProceedingsId: null
wd.described_at_URL: http://ceur-ws.org/Vol-3613/
wd.event: http://www.wikidata.org/entity/Q124240647
wd.eventLabel: 1st International Workshop on Automated Reasoning with Connection Calculi
  (AReCCa 2023)
wd.eventSeries: ''
wd.eventSeriesLabel: ''
wd.eventSeriesOrdinal: ''
wd.fullWorkUrl: http://ceur-ws.org/Vol-3613/
wd.homePage: null
wd.item: http://www.wikidata.org/entity/Q124240644
wd.itemDescription: Proceedings of AReCCa 2023 workshop
wd.itemLabel: Proceedings of the 1st International Workshop on Automated Reasoning
  with Connection Calculi (AReCCa 2023)
wd.language_of_work_or_name: null
wd.language_of_work_or_nameLabel: null
wd.ppnId: null
wd.publication_date: '2024-01-08T00:00:00'
wd.sVolume: 3613
wd.short_name: AReCCa 2023
wd.title: Proceedings of the 1st International Workshop on Automated Reasoning with
  Connection Calculi (AReCCa 2023)
