Electronic Proceedings Article
@InProceedings
Internet-Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor

Author(s):

Hillenbrand, Thomas
Topic, Dalibor
Weidenbach, Christoph

dblp
dblp
dblp



Editor(s):

Ahrendt, Wolfgang
Baumgartner, Peter
de Nivelle, Hans

dblp
dblp
dblp

Not MPII Editor(s):

Ahrendt, Wolfgang

BibTeX cite key*:

HillenbrandTopicWeidenbach2005

Title, Conference

Title*:

Sudokus as Logical Puzzles

Booktitle*:

Proceedings of the Third Workshop on Disproving

Event Address*:

Seattle, USA

URL of the conference:

http://www.cs.chalmers.se/~ahrendt/FLoC06-ws-disproving

Event Date*:
(no longer used):


URL for downloading the paper:

http://www.easychair.org/FLoC-06/DISPROVING-preproceedings.pdf

Event Start Date:

8 November 2006

Event End Date:

8 November 2006

Language:

English

Organization:


Publisher

Publisher's Name:

none

Publisher's URL:


Address*:

n.a.

Type:


Vol, No, pp., Year

Series:


Volume:


Number:


Month:


Pages:

2-12



Sequence Number:


Year*:

2006

ISBN/ISSN:






Abstract, Links, ©

URL for Reference:


Note:


(LaTeX) Abstract:


URL for the Abstract:




Tags, Categories, Keywords:


HyperLinks / References / URLs:


Copyright Message:


Personal Comments:


Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics / Automation of Logic

Audience:

popular

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort, CCL bibliography

BibTeX Entry:
@INPROCEEDINGS{HillenbrandTopicWeidenbach2005,
AUTHOR = {Hillenbrand, Thomas and Topic, Dalibor and Weidenbach, Christoph},
EDITOR = {Ahrendt, Wolfgang and Baumgartner, Peter and de Nivelle, Hans},
TITLE = {Sudokus as Logical Puzzles},
BOOKTITLE = {Proceedings of the Third Workshop on Disproving},
PUBLISHER = {none},
YEAR = {2006},
PAGES = {2--12},
ADDRESS = {Seattle, USA},
}


Entry last modified by Thomas Hillenbrand, 11/24/2006
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Thomas Hillenbrand
Created
11/08/2006 12:58:18 PM
Revision
1.
0.


Editor
Thomas Hillenbrand
Thomas Hillenbrand


Edit Date
11/24/2006 01:53:24 PM
11/08/2006 12:58:18 PM


Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section