Algebraic and logic programming: 4th international conference ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin u.a.
Springer
1994
|
| Series: | Lecture notes in computer science
850 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | VIII, 304 S. Ill., graph. Darst. |
| ISBN: | 3540584315 0387584315 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009780050 | ||
| 003 | DE-604 | ||
| 005 | 20140228 | ||
| 007 | t| | ||
| 008 | 940822s1994 gw ad|| |||| 10||| eng d | ||
| 016 | 7 | |a 941903826 |2 DE-101 | |
| 020 | |a 3540584315 |9 3-540-58431-5 | ||
| 020 | |a 0387584315 |9 0-387-58431-5 | ||
| 035 | |a (OCoLC)611858398 | ||
| 035 | |a (DE-599)BVBBV009780050 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-384 |a DE-739 |a DE-91G |a DE-19 |a DE-706 |a DE-634 |a DE-83 |a DE-11 |a DE-188 | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a DAT 706f |2 stub | ||
| 245 | 1 | 0 | |a Algebraic and logic programming |b 4th international conference ; proceedings |c ALP '94, Madrid, Spain, September 1994. Giorgio Levi ... (eds.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1994 | |
| 300 | |a VIII, 304 S. |b Ill., 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 850 | |
| 650 | 0 | 7 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Termersetzungssystem |0 (DE-588)4117189-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1994 |z Madrid |2 gnd-content | |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 1 | 1 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |D s |
| 689 | 1 | 2 | |a Termersetzungssystem |0 (DE-588)4117189-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Levi, Giorgio |d 1942- |e Sonstige |0 (DE-588)1077828853 |4 oth | |
| 711 | 2 | |a ALP |n 4 |d 1994 |c Madrid |j Sonstige |0 (DE-588)2139006-X |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 850 |w (DE-604)BV000000607 |9 850 | |
| 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=006471649&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006471649 | |
Record in the Search Index
| _version_ | 1820874844291465216 |
|---|---|
| adam_text |
CONTENTS
INVITED
TALKS
CONCURRENT
CONSTRAINT
PROGRAMMING
(ABSTRACT)
1
C.
PALAMIDESSI
(UNIV,
DI
GENOVA,
ITALY)
SPECIFICATIONS
USING
MULTIPLE-CONCLUSION
LOGIC
PROGRAMS
(ABSTRACT)
3
D.
MILLER
(UNIV,
OF
PENNSYLVANIA,
USA)
VIEWING
A
PROGRAM
TRANSFORMATION
SYSTEM
AT
WORK
(ABSTRACT)
5
R.
PAIGE
(UNIV,
OF
NEW
YORK,
USA)
THEOREM
PROVING
PROVING
IMPLICATIONS
BY
ALGEBRAIC
APPROXIMATION
6
M.
CODISH
AND
G.
MASHEVITZKY
(BEN-GURION
UNIV,
OF
THE
NEGEV,
ISRAEL)
SUFFICIENT
COMPLETENESS
AND
PARAMETERIZED
PROOFS
BY
INDUCTION
23
A.
BOUHOULA
(CRIN-INRIA-LORRAINE,
NANCY,
FRANCE)
PROVING
BEHAVIOURAL
THEOREMS
WITH
STANDARD
FIRST-ORDER
LOGIC
41
M.
BIDOIT
(LIENS-CNRS
URA
&
ECOLE
NORMALE
SUP^RIEURE,
PARIS,
FRANCE)
R.
HENNICKER
(LUDWIG-MAXIMILIANS-UNIV.
MUNCHEN,
GERMANY)
NARROWING
HOW
TO
REALIZE
LSE
NARROWING
59
A.
WERNER
(UNIV.
KARLSRUHE,
GERMANY)
A.
BOCKMAYR
(MPI,
SAARBRIICKEN,
GERMANY)
S.
KRISCHER
(CRIN-INRIA-LORRAINE,
NANCY,
FRANCE)
COMPOSITIONAL
ANALYSIS
FOR
EQUATIONAL
HOM
PROGRAMS
77
M.
ALPUENTE
(UNIV.
POLITDCNICA
DE
VALENCIA,
SPAIN)
M.
FALASCHI
(UNIV,
DI
PADOVA,
ITALY)
G.
VIDAL
(UNIV.
POLIT^CNICA
DE
VALENCIA,
SPAIN)
EQUATION
SOLVING
IN
PROJECTIVE
PLANES
AND
PLANAR
TERNARY
RINGS
95
P.
BALBIANI
(INSITUTE
DE
RECHERCHE
EN
INFORMATIQUE,
TOULOUSE,
FRANCE)
VIII
LOGIC
PROGRAMMING
I
FROM
EVENTUAL
TO
ATOMIC
AND
LOCALLY
ATOMIC
CC
PROGRAMS:
A
CONCURRENT
SEMANTICS
114
F.
BUENO,
M.
HERMENEGILDO
(UNIV.
POLITTCNICA
DE
MADRID,
SPAIN)
U.
MONTANARI,
F.
ROSSI
(UNIV,
DI
PISA,
ITALY)
CONCURRENT
LOGIC
PROGRAMMING
AS
UNIFORM
LINEAR
PROOFS
133
P.
VOLPE
(UNIV,
DI
PISA,
ITALY)
THREE-VALUED
COMPLETION
FOR
ABDUCTIVE
LOGIC
PROGRAMS
150
F.
TEUSINK
(CWI,
AMSTERDAM,
THE
NETHERLANDS)
TERM
REWRITING
A
SEQUENTIAL
REDUCTION
STRATEGY
168
S.
ANTOY
(PORTLAND
STATE
UNIV.,
USA)
A.
MIDDELDORP
(UNIV,
OF
TSUKUBA,
JAPAN)
ON
MODULARITY
OF
TERMINATION
AND
CONFLUENCE
PROPERTIES
OF
CONDITIONAL
REWRITE
SYSTEMS
186
B.
GRAMLICH
(UNIV.
KAISERSLAUTERN,
GERMANY)
SYNTACTICAL
ANALYSIS
OF
TOTAL
TERMINATION
204
M.C.F.
FERREIRA
AND
H.
ZANTEMA
(UTRECHT
UNIV.,
THE
NETHERLANDS)
LOGIC
PROGRAMS
AS
TERM
REWRITING
SYSTEMS
223
M.
MARCHIORI
(UNIV,
DI
PADOVA,
ITALY)
HIGHER-ORDER
PROGRAMMING
HIGHER-ORDER
MINIMAL
FUNCTION
GRAPHS
242
N.D.
JONES,
M.
ROSENDAHL
(UNIV,
OF
COPENHAGEN,
DENMARK)
REASONING
ABOUT
LAYERED,
WILDCARD
AND
PRODUCT
PATTERNS
253
D.
KESNER
(CNRS-LRI,
UNIV,
DE
PARIS-SUD,
FRANCE)
LOGIC
PROGRAMMING
II
PRSERVING
UNIVERSAL
TERMINATION
THROUGH
UNFOLD/FOLD
269
A.
BOSSI
(UNIV,
DI
PADOVA,
ITALY)
N.
COCCO
(UNIV,
DI
VENEZIA-CA
'
FOSCARI,
ITALY)
A
LOGIC
FOR
VARIABLE
ALIASING
IN
LOGIC
PROGRAMS
287
E.
MARCHIORI
(CWI,
AMSTERDAM,
THE
NETHERLANDS) |
| any_adam_object | 1 |
| author_GND | (DE-588)1077828853 |
| building | Verbundindex |
| bvnumber | BV009780050 |
| classification_rvk | SK 130 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)611858398 (DE-599)BVBBV009780050 |
| discipline | Informatik Mathematik |
| 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">BV009780050</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140228</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">940822s1994 gw ad|| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">941903826</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540584315</subfield><subfield code="9">3-540-58431-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387584315</subfield><subfield code="9">0-387-58431-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)611858398</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009780050</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">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algebraic and logic programming</subfield><subfield code="b">4th international conference ; proceedings</subfield><subfield code="c">ALP '94, Madrid, Spain, September 1994. Giorgio Levi ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 304 S.</subfield><subfield code="b">Ill., 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">850</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</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">1994</subfield><subfield code="z">Madrid</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</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">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><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">Levi, Giorgio</subfield><subfield code="d">1942-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1077828853</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ALP</subfield><subfield code="n">4</subfield><subfield code="d">1994</subfield><subfield code="c">Madrid</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2139006-X</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">850</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">850</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=006471649&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-006471649</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1994 Madrid gnd-content |
| genre_facet | Konferenzschrift 1994 Madrid |
| id | DE-604.BV009780050 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:06:11Z |
| institution | BVB |
| institution_GND | (DE-588)2139006-X |
| isbn | 3540584315 0387584315 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006471649 |
| oclc_num | 611858398 |
| open_access_boolean | |
| owner | DE-384 DE-739 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-706 DE-634 DE-83 DE-11 DE-188 |
| owner_facet | DE-384 DE-739 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-706 DE-634 DE-83 DE-11 DE-188 |
| physical | VIII, 304 S. Ill., graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Algebraic and logic programming 4th international conference ; proceedings ALP '94, Madrid, Spain, September 1994. Giorgio Levi ... (eds.) Berlin u.a. Springer 1994 VIII, 304 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 850 Algebraische Spezifikation (DE-588)4207192-6 gnd rswk-swf Termersetzungssystem (DE-588)4117189-5 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1994 Madrid gnd-content Logische Programmierung (DE-588)4195096-3 s DE-604 Programmierung (DE-588)4076370-5 s Algebraische Spezifikation (DE-588)4207192-6 s Termersetzungssystem (DE-588)4117189-5 s Levi, Giorgio 1942- Sonstige (DE-588)1077828853 oth ALP 4 1994 Madrid Sonstige (DE-588)2139006-X oth Lecture notes in computer science 850 (DE-604)BV000000607 850 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006471649&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Algebraic and logic programming 4th international conference ; proceedings Lecture notes in computer science Algebraische Spezifikation (DE-588)4207192-6 gnd Termersetzungssystem (DE-588)4117189-5 gnd Logische Programmierung (DE-588)4195096-3 gnd Programmierung (DE-588)4076370-5 gnd |
| subject_GND | (DE-588)4207192-6 (DE-588)4117189-5 (DE-588)4195096-3 (DE-588)4076370-5 (DE-588)1071861417 |
| title | Algebraic and logic programming 4th international conference ; proceedings |
| title_auth | Algebraic and logic programming 4th international conference ; proceedings |
| title_exact_search | Algebraic and logic programming 4th international conference ; proceedings |
| title_full | Algebraic and logic programming 4th international conference ; proceedings ALP '94, Madrid, Spain, September 1994. Giorgio Levi ... (eds.) |
| title_fullStr | Algebraic and logic programming 4th international conference ; proceedings ALP '94, Madrid, Spain, September 1994. Giorgio Levi ... (eds.) |
| title_full_unstemmed | Algebraic and logic programming 4th international conference ; proceedings ALP '94, Madrid, Spain, September 1994. Giorgio Levi ... (eds.) |
| title_short | Algebraic and logic programming |
| title_sort | algebraic and logic programming 4th international conference proceedings |
| title_sub | 4th international conference ; proceedings |
| topic | Algebraische Spezifikation (DE-588)4207192-6 gnd Termersetzungssystem (DE-588)4117189-5 gnd Logische Programmierung (DE-588)4195096-3 gnd Programmierung (DE-588)4076370-5 gnd |
| topic_facet | Algebraische Spezifikation Termersetzungssystem Logische Programmierung Programmierung Konferenzschrift 1994 Madrid |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006471649&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT levigiorgio algebraicandlogicprogramming4thinternationalconferenceproceedings AT alpmadrid algebraicandlogicprogramming4thinternationalconferenceproceedings |