Technical, Research Report
@TechReport
Technischer-, Forschungsbericht


Show entries of:

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

Action:

login to update

Options:









Author, Editor

Author(s):

Weidenbach, Christoph
Wischnewski, Patrick

dblp
dblp



Editor(s):





BibTeX Citekey*:

WeidenbachWischnewskiReport2009

Language:

English

Title, Institution

Title*:

Contextual Rewriting

Institution*:

Max-Planck-Institut für Informatik

Publishers or Institutions Address*:

Saarbrücken

Type:

Research Report

No, Year, pp.,

Number*:

MPI-I-2009-RG1-002

Pages*:

29

Month:


VG Wort
Pages*:


Year*:

2009

ISBN/ISSN:

0946-011X





DOI:




Note, Abstract, ©

Note:


(LaTeX) Abstract:


Categories / Keywords:


Copyright Message:


HyperLinks / References / URLs:


Personal Comments:


File Upload:


Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Automation of Logic

Appearance:

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


BibTeX Entry:
@TECHREPORT{WeidenbachWischnewskiReport2009,
AUTHOR = {Weidenbach, Christoph and Wischnewski, Patrick},
TITLE = {Contextual Rewriting},
YEAR = {2009},
TYPE = {Research Report},
INSTITUTION = {Max-Planck-Institut für Informatik},
NUMBER = {MPI-I-2009-RG1-002},
PAGES = {29},
ADDRESS = {Saarbr{\"u}cken},
ISBN = {0946-011X},
}


Entry last modified by Anja Becker, 03/25/2010
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)
Patrick Wischnewski
Created
03/20/2009 10:35:51 AM
Revisions
4.
3.
2.
1.
0.
Editor(s)
Anja Becker
Patrick Wischnewski
Patrick Wischnewski
Patrick Wischnewski
Patrick Wischnewski
Edit Dates
25.03.2010 14:01:18
03/20/2009 10:44:50 AM
03/20/2009 10:44:09 AM
03/20/2009 10:43:23 AM
03/20/2009 10:35:52 AM
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section