Verfügbarkeit: Logic, language, information and computation

Logic, language, information and computation: 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6 - 9, 2010 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Weitere beteiligte Personen:	Dawar, Anuj (HerausgeberIn)
Format:	Tagungsbericht Buch
Sprache:	Englisch
Veröffentlicht:	Berlin [u.a.] Springer 2010
Schriftenreihe:	Lecture notes in computer science 6188
Schlagwörter:	Formale Grammatik Formale Syntax Berechnungstheorie Programmierlogik Logik Natürliche Sprache Konferenzschrift > 2010 > Brasília
Links:	http://deposit.dnb.de/cgi-bin/dokserv?id=3476880&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020489230&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Beschreibung:	Literaturangaben
Umfang:	X, 258 S. graph. Darst. 24 cm
ISBN:	9783642138232

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV036568057
003	DE-604
005	20100921
007	t\|
008	100715s2010 xx d\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 10,N21 \|2 dnb
015			\|a 10,A26 \|2 dnb
016	7		\|a 1002541190 \|2 DE-101
020			\|a 9783642138232 \|c kart. : EUR 49.22 (freier Pr.), ca. sfr 71.50 (freier Pr.) \|9 978-3-642-13823-2
024	3		\|a 9783642138232
028	5	2	\|a 80016332
035			\|a (OCoLC)699762354
035			\|a (DE-599)DNB1002541190
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-11 \|a DE-91G \|a DE-706 \|a DE-83
082	0		\|a 004.015113 \|2 22/ger
082	0		\|a 005.131 \|2 22/ger
084			\|a 004 \|2 sdnb
084			\|a DAT 706f \|2 stub
084			\|a DAT 540f \|2 stub
084			\|a 510 \|2 sdnb
245	1	0	\|a Logic, language, information and computation \|b 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6 - 9, 2010 ; proceedings \|c Anuj Dawar (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2010
300			\|a X, 258 S. \|b graph. Darst. \|c 24 cm
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 6188 : Lecture notes in artificial intelligence
500			\|a Literaturangaben
650	0	7	\|a Formale Grammatik \|0 (DE-588)4154991-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Formale Syntax \|0 (DE-588)4312653-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Berechnungstheorie \|0 (DE-588)4005581-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmierlogik \|0 (DE-588)4047408-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Logik \|0 (DE-588)4036202-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Natürliche Sprache \|0 (DE-588)4041354-8 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2010 \|z Brasília \|2 gnd-content
689	0	0	\|a Programmierlogik \|0 (DE-588)4047408-2 \|D s
689	0		\|5 DE-604
689	1	0	\|a Natürliche Sprache \|0 (DE-588)4041354-8 \|D s
689	1	1	\|a Formale Syntax \|0 (DE-588)4312653-4 \|D s
689	1	2	\|a Formale Grammatik \|0 (DE-588)4154991-0 \|D s
689	1		\|5 DE-604
689	2	0	\|a Berechnungstheorie \|0 (DE-588)4005581-4 \|D s
689	2	1	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	2		\|5 DE-604
700	1		\|a Dawar, Anuj \|4 edt
710	2		\|a Association of Logic, Language and Information \|e Sonstige \|0 (DE-588)10102504-X \|4 oth
711	2		\|a WoLLIC \|n 17 \|d 2010 \|c Brasilia \|j Sonstige \|0 (DE-588)16071037-6 \|4 oth
830		0	\|a Lecture notes in computer science \|v 6188 \|w (DE-604)BV000000607 \|9 6188
856	4	2	\|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=3476880&prov=M&dok_var=1&dok_ext=htm \|3 Inhaltstext
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=020489230&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-020489230

Datensatz im Suchindex

DE-BY-TUM_call_number	0102 DAT 001z 2001 A 999-6188
DE-BY-TUM_katkey	1737391
DE-BY-TUM_location	01
DE-BY-TUM_media_number	040010234385
_version_	1821934940756901888
adam_text	TABLE OF CONTENTS ENTAILMENT MULTIPLIERS: AN ALGEBRAIC CHARACTERIZATION OF VALIDITY FOR CLASSICAL AND MODAL LOGICS (INVITED TALK) 1 MARCELO FINGER AND MAURICIO S. C. HERNANDES A CTL-BASED LOGIC FOR PROGRAM ABSTRACTIONS (INVITED TALK) 19 MARTIN LANGE AND MARKUS LATTE APPLICATION OF LOGIC TO INTEGER SEQUENCES: A SURVEY (INVITED TALK) 34 JOHANN A. MAKOWSKY THE TWO-VARIABLE FRAGMENT WITH COUNTING REVISITED (INVITED TALK). 42 IAN PRATT-HARTMANN INTUITIONISTIC LOGIC AND COMPUTABILITY THEORY (INVITED TALK) 55 SEBASTIAAN A. TERWIJN FOUNDATIONS OF SATISFIABILITY MODULO THEORIES (INVITED TALK) 58 CESARE TINELLI LOGICAL FORM AS A DETERMINANT OF COGNITIVE PROCESSES 59 MICHIEL VAN LAMBALGEN FORMAL LIFETIME RELIABILITY ANALYSIS USING CONTINUOUS RANDOM VARIABLES 84 NAEEM ABBASI, OSMAN HASAN, AND SOFIENE TAHAR MODAL LOGICS WITH COUNTING 98 CARLOS ARECES, GUILLAUME HOFFMANN, AND ALEXANDRE DENIS VERIFICATION OF THE COMPLETENESS OF UNIFICATION ALGORITHMS A LA ROBINSON 110 ANDREIA B. AVELAR, FLDVIO L.C. DE MOURA, ANDRE LUIZ GALDINO, AND MAURICIO AYALA-RINCON MECHANISATION OF PDA AND GRAMMAR EQUIVALENCE FOR CONTEXT-FREE LANGUAGES 125 ADITI BARTHWAL AND MICHAEL NORRISH O BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1002541190 DIGITALISIERT DURCH X TABLE OF CONTENTS SOLVING THE IMPLICATION PROBLEM FOR XML FUNCTIONAL DEPENDENCIES WITH PROPERTIES 161 SVEN HARTMANN, SEBASTIAN LINK, AND THU TRINH ON ANAPHORA AND THE BINDING PRINCIPLES IN CATEGORIAL GRAMMAR 176 GLYN MORRILL AND ORIOL VALENTIN FEASIBLE FUNCTIONS OVER CO-INDUCTIVE DATA 191 RAMYAA RAMYAA AND DANIEL LEIVANT INTERVAL VALUED FUZZY COMPLICATION 204 RENATA H.S. REISER, BENJAMIN C. BEDREGAL, AND GESNER A.A. DOS REIS REDUCTION OF THE INTRUDER DEDUCTION PROBLEM INTO EQUATIONAL ELEMENTARY DEDUCTION FOR ELECTRONIC PURSE PROTOCOLS WITH BLIND SIGNATURES 218 DANIELE NANTES SOBRINHO AND MAURICIO AYALA-RINCON INTERSECTION TYPE SYSTEMS AND EXPLICIT SUBSTITUTIONS CALCULI 232 DANIEL LIMA VENTURA, MAURICIO AYALA-RINCON, AND FAIROUZ KARNAREDDINE GENERALISING CONSERVATIVITY 247 RICHARD ZUBER AUTHOR INDEX 259
any_adam_object	1
author2	Dawar, Anuj
author2_role	edt
author2_variant	a d ad
author_facet	Dawar, Anuj
building	Verbundindex
bvnumber	BV036568057
classification_rvk	SS 4800
classification_tum	DAT 706f DAT 540f
ctrlnum	(OCoLC)699762354 (DE-599)DNB1002541190
dewey-full	004.015113 005.131
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science 005 - Computer programming, programs, data, security
dewey-raw	004.015113 005.131
dewey-search	004.015113 005.131
dewey-sort	14.015113
dewey-tens	000 - Computer science, information, general works
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">BV036568057</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100921</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">100715s2010 xx d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N21</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,A26</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1002541190</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642138232</subfield><subfield code="c">kart. : EUR 49.22 (freier Pr.), ca. sfr 71.50 (freier Pr.)</subfield><subfield code="9">978-3-642-13823-2</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642138232</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80016332</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)699762354</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1002541190</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="049" ind1=" " ind2=" "><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.015113</subfield><subfield code="2">22/ger</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 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic, language, information and computation</subfield><subfield code="b">17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6 - 9, 2010 ; proceedings</subfield><subfield code="c">Anuj Dawar (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 258 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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">6188 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Grammatik</subfield><subfield code="0">(DE-588)4154991-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Syntax</subfield><subfield code="0">(DE-588)4312653-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Natürliche Sprache</subfield><subfield code="0">(DE-588)4041354-8</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">2010</subfield><subfield code="z">Brasília</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</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">Natürliche Sprache</subfield><subfield code="0">(DE-588)4041354-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Formale Syntax</subfield><subfield code="0">(DE-588)4312653-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Formale Grammatik</subfield><subfield code="0">(DE-588)4154991-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Dawar, Anuj</subfield><subfield code="4">edt</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Association of Logic, Language and Information</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)10102504-X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">WoLLIC</subfield><subfield code="n">17</subfield><subfield code="d">2010</subfield><subfield code="c">Brasilia</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16071037-6</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">6188</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6188</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3476880&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</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=020489230&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-020489230</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2010 Brasília gnd-content
genre_facet	Konferenzschrift 2010 Brasília
id	DE-604.BV036568057
illustrated	Illustrated
indexdate	2025-01-11T19:02:35Z
institution	BVB
institution_GND	(DE-588)10102504-X (DE-588)16071037-6
isbn	9783642138232
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-020489230
oclc_num	699762354
open_access_boolean
owner	DE-11 DE-91G DE-BY-TUM DE-706 DE-83
owner_facet	DE-11 DE-91G DE-BY-TUM DE-706 DE-83
physical	X, 258 S. graph. Darst. 24 cm
publishDate	2010
publishDateSearch	2010
publishDateSort	2010
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spellingShingle	Logic, language, information and computation 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6 - 9, 2010 ; proceedings Lecture notes in computer science Formale Grammatik (DE-588)4154991-0 gnd Formale Syntax (DE-588)4312653-4 gnd Berechnungstheorie (DE-588)4005581-4 gnd Programmierlogik (DE-588)4047408-2 gnd Logik (DE-588)4036202-4 gnd Natürliche Sprache (DE-588)4041354-8 gnd
subject_GND	(DE-588)4154991-0 (DE-588)4312653-4 (DE-588)4005581-4 (DE-588)4047408-2 (DE-588)4036202-4 (DE-588)4041354-8 (DE-588)1071861417
title	Logic, language, information and computation 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6 - 9, 2010 ; proceedings
title_auth	Logic, language, information and computation 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6 - 9, 2010 ; proceedings
title_exact_search	Logic, language, information and computation 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6 - 9, 2010 ; proceedings
title_full	Logic, language, information and computation 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6 - 9, 2010 ; proceedings Anuj Dawar (eds.)
title_fullStr	Logic, language, information and computation 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6 - 9, 2010 ; proceedings Anuj Dawar (eds.)
title_full_unstemmed	Logic, language, information and computation 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6 - 9, 2010 ; proceedings Anuj Dawar (eds.)
title_short	Logic, language, information and computation
title_sort	logic language information and computation 17th international workshop wollic 2010 brasilia brazil july 6 9 2010 proceedings
title_sub	17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6 - 9, 2010 ; proceedings
topic	Formale Grammatik (DE-588)4154991-0 gnd Formale Syntax (DE-588)4312653-4 gnd Berechnungstheorie (DE-588)4005581-4 gnd Programmierlogik (DE-588)4047408-2 gnd Logik (DE-588)4036202-4 gnd Natürliche Sprache (DE-588)4041354-8 gnd
topic_facet	Formale Grammatik Formale Syntax Berechnungstheorie Programmierlogik Logik Natürliche Sprache Konferenzschrift 2010 Brasília
url	http://deposit.dnb.de/cgi-bin/dokserv?id=3476880&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020489230&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT dawaranuj logiclanguageinformationandcomputation17thinternationalworkshopwollic2010brasiliabraziljuly692010proceedings AT associationoflogiclanguageandinformation logiclanguageinformationandcomputation17thinternationalworkshopwollic2010brasiliabraziljuly692010proceedings AT wollicbrasilia logiclanguageinformationandcomputation17thinternationalworkshopwollic2010brasiliabraziljuly692010proceedings

Verfügbarkeit

Bestellen (Login erforderlich)

Inhaltsverzeichnis
Paper/Kapitel scannen lassen

Teilbibliothek Mathematik & Informatik

Bestandsangaben von Teilbibliothek Mathematik & Informatik
Signatur:	0102 DAT 001z 2001 A 999-6188 Lageplan
Exemplar 1	Ausleihbar Am Standort