Computer Science Logic 2016 : CSL 2016, August 29 to September 1, 2016, Marseille, France

Bibliographic Details
Other Involved Persons: CSL (Editor) ; Regnier, Laurent (Editor) ; Talbot, Jean-Marc ; European Association for Computer Science Logic
Format: eBook
Language:English
Published: Saarbrücken/Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing August, 2016
ISBN:9783959770224
3959770227
Series:Leibniz international proceedings in informatics vol. 62
Physical Description:1 Online-Ressource (679 Seiten in verschiedenen Seitenzählungen, 22,35 MB)
DOI:10.4230/LIPIcs.CSL.2016.0
Subjects:
Further Information:OpenAccess Lizenz (Creative Commons License)
OpenAccess Lizenz (Creative Commons License)
Zentralblatt MATH
QR Code: Show QR Code
LEADER 03328cam a2200673 4500
001 867133767
003 DE-627
005 20170823142221.0
007 cr uuu---uuuuu
008 160908s2016 xx |||||o 10| ||eng c
020 |a 9783959770224  |9 978-3-95977-022-4 
024 7 |a 10.4230/LIPIcs.CSL.2016.0  |2 doi 
035 |a (DE-627)867133767 
035 |a (DE-599)GBV867133767 
035 |a (OCoLC)958066564 
035 |a (ZBM)1351.68028 
040 |a DE-627  |b ger  |c DE-627  |e rda 
041 |a eng 
044 |c XA-DE 
084 |a *68-06  |2 MSC 
084 |a 03-06  |2 MSC 
084 |a 03B70  |2 MSC 
084 |a 00B25  |2 MSC 
084 |a 54.10  |2 bkl 
084 |a 54.71  |2 bkl 
110 2 |a CSL  |n 25.  |d 2016  |c Marseille  |j VerfasserIn 
245 1 0 |a Computer Science Logic 2016  |b CSL 2016, August 29 to September 1, 2016, Marseille, France  |c edited by Laurent Regnier, Jean-Marc Talbot 
246 1 |i Abweichender Titel  |a CSL 2016 
246 1 |i Abweichender Titel  |a 25th EACSL Annual Conference on Computer Science Logic (CSL 2016) 
246 3 0 |a twenty-fifth 
264 1 |a Saarbrücken/Wadern  |b Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing  |c August, 2016 
300 |a 1 Online-Ressource (679 Seiten in verschiedenen Seitenzählungen, 22,35 MB) 
336 |a Text  |b txt  |2 rdacontent 
337 |a Computermedien  |b c  |2 rdamedia 
338 |a Online-Ressource  |b cr  |2 rdacarrier 
490 1 |a LIPIcs - Leibniz international proceedings in informatics  |v vol. 62 
655 7 |a Konferenzschrift  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
689 0 0 |D s  |0 (DE-588)4196735-5  |0 (DE-627)105201693  |0 (DE-576)210109750  |a Theoretische Informatik  |2 gnd 
689 0 1 |D s  |0 (DE-588)4036202-4  |0 (DE-627)106243772  |0 (DE-576)209017082  |a Logik  |2 gnd 
689 0 2 |D s  |0 (DE-588)4255672-7  |0 (DE-627)104705485  |0 (DE-576)210549378  |a Computational logic  |2 gnd 
689 0 3 |D s  |0 (DE-588)4195096-3  |0 (DE-627)105214477  |0 (DE-576)210098767  |a Logische Programmierung  |2 gnd 
689 0 4 |D s  |0 (DE-588)4047408-2  |0 (DE-627)106194690  |0 (DE-576)209073462  |a Programmierlogik  |2 gnd 
689 0 |5 (DE-627) 
700 1 |a Regnier, Laurent  |e herausgeberin  |4 edt 
700 1 |a Talbot, Jean-Marc  |e herausgeberin  |4 edt 
710 2 |a European Association for Computer Science Logic  |e VeranstalterIn  |0 (DE-588)2156125-4  |0 (DE-627)211515485  |0 (DE-576)195794001  |4 orm 
830 0 |a Leibniz international proceedings in informatics  |v vol. 62  |9 6200  |w (DE-627)665008708  |w (DE-576)348218761  |w (DE-600)2620819-2  |x 1868-8969 
856 4 0 |u http://dx.doi.org/10.4230/LIPIcs.CSL.2016.0  |q application/pdf  |z OpenAccess Lizenz (Creative Commons License) 
856 4 0 |u http://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16017  |q application/pdf  |z OpenAccess Lizenz (Creative Commons License) 
856 4 2 |u http://zbmath.org/?q=an:1351.68028  |m DE-601  |n ZBM  |q pdf/application  |v 2017-04-10  |y Zentralblatt MATH  |3 Inhaltstext 
912 |a GBV_ILN_70 
912 |a SYSFLAG_1 
912 |a GBV_KXP 
912 |a SSG-OPC-MAT 
936 b k |a 54.10  |j Theoretische Informatik  |0 (DE-627)106418815 
936 b k |a 54.71  |j Logikprogrammierung  |0 (DE-627)106418912 
951 |a BO 
980 |2 70  |1 01  |b 1635576407  |d RT 2474(62) als elektronische Ressource  |x 0089  |y z  |z 26-09-16 
981 |2 70  |1 01  |y OALizenz  |r http://edok01.tib.uni-hannover.de/edoks/e01mr16/867133767.pdf