Holdings: Term rewriting and applications

Term rewriting and applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007 ; proceedings

Saved in:

Bibliographic Details
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin [u.a.] Springer 2007
Series:	Lecture Notes in Computer Science 4533
Subjects:	Termersetzungssystem Reduktionssystem Konferenzschrift > 2007 > Paris
Online Access:	Inhaltsverzeichnis
Physical Description:	XII, 418 S. graph. Darst.
ISBN:	9783540734475 3540734473

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV022508977
003	DE-604
005	20170309
007	t\|
008	070712s2007 gw d\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 07,N29,0095 \|2 dnb
016	7		\|a 984686711 \|2 DE-101
020			\|a 9783540734475 \|c : EUR 59.92 (freier Pr.), sfr 97.50 (freier Pr.) \|9 978-3-540-73447-5
020			\|a 3540734473 \|c : EUR 59.92 (freier Pr.), sfr 97.50 (freier Pr.) \|9 3-540-73447-3
024	3		\|a 9783540734475
028	5	2	\|a 12086580
035			\|a (OCoLC)634642761
035			\|a (DE-599)DNB984686711
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-91G \|a DE-706 \|a DE-19 \|a DE-83 \|a DE-11
082	0		\|a 005.131 \|2 22/ger
084			\|a 004 \|2 sdnb
084			\|a DAT 554f \|2 stub
245	1	0	\|a Term rewriting and applications \|b 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007 ; proceedings \|c Franz Baader (ed.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2007
300			\|a XII, 418 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture Notes in Computer Science \|v 4533
650	0	7	\|a Termersetzungssystem \|0 (DE-588)4117189-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Reduktionssystem \|0 (DE-588)4194895-6 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2007 \|z Paris \|2 gnd-content
689	0	0	\|a Reduktionssystem \|0 (DE-588)4194895-6 \|D s
689	0		\|5 DE-604
689	1	0	\|a Termersetzungssystem \|0 (DE-588)4117189-5 \|D s
689	1		\|5 DE-604
700	1		\|a Baader, Franz \|d 1959- \|e Sonstige \|0 (DE-588)131845098 \|4 oth
711	2		\|a RTA \|n 18 \|d 2007 \|c Paris \|j Sonstige \|0 (DE-588)6065965-8 \|4 oth
830		0	\|a Lecture Notes in Computer Science \|v 4533 \|w (DE-604)BV000000607 \|9 4533
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015715919&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-015715919

Record in the Search Index

_version_	1826212261661769728
adam_text	FRANZ BAADER (ED.) TERM REWRITING AND APPLICATIONS 18TH INTERNATIONAL CONFERENCE, RTA 2007 PARIS, FRANCE, JUNE 26-28, 2007 PROCEEDINGS SPRINGER TABLE OF CONTENTS FORMAL VERIFICATION OF AN OPTIMIZING COMPILER 1 XAVIER LEROY CHALLENGES IN SATISFIABILITY MODULO THEORIES 2 ROBERT NIEUWENHUIS, ALBERT OLIVERAS, ENRIC RODRIGUEZ-CARBONELL, AND ALBERT RUBIO ON A LOGICAL FOUNDATION FOR EXPLICIT SUBSTITUTIONS 19 FRANK PFENNING INTRUDERS WITH CAPS 20 SIVA ANANTHARAMAN, PALIATH NARENDRAN, AND MICHAEL RUSINOWITCH TOM: PIGGYBACKING REWRITING ON JAVA 36 EMILIE BALLAND, PAUL BRAUNER, RADU KOPETZ, PIERRE-ETIENNE MOREAU, AND ANTOINE REILLES REWRITING APPROXIMATIONS FOR FAST PROTOTYPING OF STATIC ANALYZERS . . . . 48 YOHAN BOICHUT, THOMAS GENET, THOMAS JENSEN, AND LUKA LE ROUX DETERMINING UNIFY-STABLE PRESENTATIONS 63 THIERRY BOY DE LA TOUR AND MNACHO ECHENIM CONFLUENCE OF PATTERN-BASED CALCULI 78 HORATIU CIRSTEA AND GERMAIN FAURE A SIMPLE PROOF THAT SUPER-CONSISTENCY IMPLIES CUT ELIMINATION 93 GILLES DOWEK AND OLIVIER HERMANT BOTTOM-UP REWRITING IS INVERSE RECOGNIZABILITY PRESERVING 107 IRENE DURAND AND GERAUD SENIZERGUES ADJUNCTION FOR GARBAGE COLLECTION WITH APPLICATION TO GRAPH REWRITING 122 DOMINIQUE DUVAL, RACHID ECHAHED, AND FREDERIC PROST NON STRICT CONFIUENT REWRITE SYSTEMS FOR DATA-STRUCTURES WITH POINTERS 137 RACHID ECHAHED AND NICOLAS PELTIER SYMBOLIC MODEL CHECKING OF INFINITE-STATE SYSTEMS USING NARROWING . . . 153 SANTIAGO ESCOBAR AND JOSE MESEGUER DELAYED SUBSTITUTIONS 169 JOSE ESPIRITO SANTO XII TABLE OF CONTENTS INNERMOST-REACHABILITY AND INNERMOST-JOINABILITY ARE DECIDABLE FOR SHALLOW TERM REWRITE SYSTEMS 184 GUILLEM GODOY AND EDUARD HUNTINGFORD TERMINATION OF REWRITING WITH RIGHT-FLAT RULES 200 GUILLEM GODOY, EDUARD HUNTINGFORD, AND ASHISH TIWARI ABSTRACT CRITICAL PAIRS AND CONFLUENCE OF ARBITRARY BINARY RELATIONS . . . 214 REMY HAEMMERLE AND FRANGOIS FAGES ON THE COMPLETENESS OF CONTEXT-SENSITIVE ORDER-SORTED SPECIFICATIONS 229 JOE HENDRIX AND JOSE MESEGUER KOOL: AN APPLICATION OF REWRITING LOGIC TO LANGUAGE PROTOTYPING AND ANALYSIS 246 MARK HILLS AND GRIGORE ROSU SIMPLE PROOFS OF CHARACTERIZING STRONG NORMALIZATION FOR EXPLICIT SUBSTITUTION CALCULI 257 KENTARO KIKUCHI PROVING TERMINATION OF REWRITE SYSTEMS USING BOUNDS 273 MARTIN KORP AND AART MIDDELDORP SEQUENCE UNIFICATION THROUGH CURRYING 288 TEMUR KUTSIA, JORDI LEVY, AND MATEU VILLARET THE TERMINATION COMPETITION 303 CLAUDE MARCHE AND HANS ZANTEMA RANDOM DESCENT 314 VINCENT VAN OOSTROM CORRECTNESS OF COPY IN CALCULI WITH LETREC 329 MANFRED SCHMIDT-SCHAUSS A CHARACTERIZATION OF MEDIAL AS REWRITING RULE 344 LUTZ STRASSBURGER THE MAXIMUM LENGTH OF MU-REDUCTION IN LAMBDA MU-CALCULUS 359 MAKOTO TATSUTA ON LINEAR COMBINATIONS OF A-TERMS 374 LIONEL VAUX SATISFYING KBO CONSTRAINTS 389 HARALD ZANKL AND AART MIDDELDORP TERMINATION BY QUASI-PERIODIC INTERPRETATIONS 404 HANS ZANTEMA AND JOHANNES WALDMANN AUTHOR INDEX 419
adam_txt
any_adam_object	1
any_adam_object_boolean
author_GND	(DE-588)131845098
building	Verbundindex
bvnumber	BV022508977
classification_rvk	SS 4800
classification_tum	DAT 554f
ctrlnum	(OCoLC)634642761 (DE-599)DNB984686711
dewey-full	005.131
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.131
dewey-search	005.131
dewey-sort	15.131
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
discipline_str_mv	Informatik
format	Conference Proceeding Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV022508977</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170309</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">070712s2007 gw d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">07,N29,0095</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">984686711</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540734475</subfield><subfield code="c">: EUR 59.92 (freier Pr.), sfr 97.50 (freier Pr.)</subfield><subfield code="9">978-3-540-73447-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540734473</subfield><subfield code="c">: EUR 59.92 (freier Pr.), sfr 97.50 (freier Pr.)</subfield><subfield code="9">3-540-73447-3</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540734475</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12086580</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)634642761</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB984686711</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 554f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Term rewriting and applications</subfield><subfield code="b">18th International Conference, RTA 2007, Paris, France, June 26-28, 2007 ; proceedings</subfield><subfield code="c">Franz Baader (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 418 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">4533</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Termersetzungssystem</subfield><subfield code="0">(DE-588)4117189-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Reduktionssystem</subfield><subfield code="0">(DE-588)4194895-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2007</subfield><subfield code="z">Paris</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Reduktionssystem</subfield><subfield code="0">(DE-588)4194895-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Termersetzungssystem</subfield><subfield code="0">(DE-588)4117189-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Baader, Franz</subfield><subfield code="d">1959-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)131845098</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">RTA</subfield><subfield code="n">18</subfield><subfield code="d">2007</subfield><subfield code="c">Paris</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6065965-8</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">4533</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">4533</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015715919&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015715919</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2007 Paris gnd-content
genre_facet	Konferenzschrift 2007 Paris
id	DE-604.BV022508977
illustrated	Illustrated
index_date	2024-07-02T17:58:38Z
indexdate	2025-03-10T13:02:09Z
institution	BVB
institution_GND	(DE-588)6065965-8
isbn	9783540734475 3540734473
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-015715919
oclc_num	634642761
open_access_boolean
owner	DE-91G DE-BY-TUM DE-706 DE-19 DE-BY-UBM DE-83 DE-11
owner_facet	DE-91G DE-BY-TUM DE-706 DE-19 DE-BY-UBM DE-83 DE-11
physical	XII, 418 S. graph. Darst.
publishDate	2007
publishDateSearch	2007
publishDateSort	2007
publisher	Springer
record_format	marc
series	Lecture Notes in Computer Science
series2	Lecture Notes in Computer Science
spelling	Term rewriting and applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007 ; proceedings Franz Baader (ed.) Berlin [u.a.] Springer 2007 XII, 418 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 4533 Termersetzungssystem (DE-588)4117189-5 gnd rswk-swf Reduktionssystem (DE-588)4194895-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2007 Paris gnd-content Reduktionssystem (DE-588)4194895-6 s DE-604 Termersetzungssystem (DE-588)4117189-5 s Baader, Franz 1959- Sonstige (DE-588)131845098 oth RTA 18 2007 Paris Sonstige (DE-588)6065965-8 oth Lecture Notes in Computer Science 4533 (DE-604)BV000000607 4533 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015715919&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Term rewriting and applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007 ; proceedings Lecture Notes in Computer Science Termersetzungssystem (DE-588)4117189-5 gnd Reduktionssystem (DE-588)4194895-6 gnd
subject_GND	(DE-588)4117189-5 (DE-588)4194895-6 (DE-588)1071861417
title	Term rewriting and applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007 ; proceedings
title_auth	Term rewriting and applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007 ; proceedings
title_exact_search	Term rewriting and applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007 ; proceedings
title_exact_search_txtP	Term rewriting and applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007 ; proceedings
title_full	Term rewriting and applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007 ; proceedings Franz Baader (ed.)
title_fullStr	Term rewriting and applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007 ; proceedings Franz Baader (ed.)
title_full_unstemmed	Term rewriting and applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007 ; proceedings Franz Baader (ed.)
title_short	Term rewriting and applications
title_sort	term rewriting and applications 18th international conference rta 2007 paris france june 26 28 2007 proceedings
title_sub	18th International Conference, RTA 2007, Paris, France, June 26-28, 2007 ; proceedings
topic	Termersetzungssystem (DE-588)4117189-5 gnd Reduktionssystem (DE-588)4194895-6 gnd
topic_facet	Termersetzungssystem Reduktionssystem Konferenzschrift 2007 Paris
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015715919&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT baaderfranz termrewritingandapplications18thinternationalconferencerta2007parisfrancejune26282007proceedings AT rtaparis termrewritingandapplications18thinternationalconferencerta2007parisfrancejune26282007proceedings

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items