> Details

European Association for Computer Science Logic [Author]; Schloss Dagstuhl, Leibniz-Zentrum für Informatik [Author] ; Cégielski, Patrick [Contributor]; Durand, Arnaud [Contributor]; International Workshop on Computer Science Logic (CSL) [Contributor]; 26 (Fontainebleau) : 2012.09.03-06 [Contributor]

Computer Science Logic 2012: 26th International Workshop, 21th Annual Conference of the EACSL, CSL '12, September 3 - 6, 2012, Fontainebleau, France

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: Text; Electronic Conference Proceeding
  • Title: Computer Science Logic 2012: 26th International Workshop, 21th Annual Conference of the EACSL, CSL '12, September 3 - 6, 2012, Fontainebleau, France
  • Contributor: European Association for Computer Science Logic [Author]; Schloss Dagstuhl, Leibniz-Zentrum für Informatik [Author]
  • Published: Digital Library Thüringen, 2012-09
  • Extent: XIV, 542 Seiten
  • Language: English
  • DOI: https://doi.org/10.4230/LIPIcs.CSL.2012.i
  • ISBN: 978-3-939897-42-2
  • Keywords: Programmierlogik ; conference_publication ; Theoretische Informatik -- Logik -- Computational logic -- Logische Programmierung ; Book
  • Origination:
  • Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Access State: Open Access
  • Rights information: Attribution - Non Commercial - No Derivs (CC BY-NC-ND)