Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

Saved in:
Bibliographic Details
Format Conference Proceeding
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg 2013
SeriesLecture Notes in Computer Science
Subjects
Algorithm Analysis and Problem Complexity
Artificial Intelligence
Computer Science
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Software Engineering
Online AccessGet full text

Cover

BookMark eNpVkMtOwzAQRQ0UiVDyAWxQf8DU4xm_liiigFSJBbC24thBETRGcTf8PaF0w2qkc6V7deaSLcY8JsauQdyCEGbtjOXINUlOwlrF6YTVM8OZHACdsgo0AEckd_YvI7NglUAhuTOEF6wuZQgCnDHagq3YzWbK435IU1nlftXkXRjGYXxfvXyXfdqVK3bet58l1ce7ZG-b-9fmkW-fH56auy0PEoTiKBS11AJ1spcxkKYek1K2S6ENykaDXXSANrpeGRU7FQ20WmMndQCrIy7Z-q-3fE3zfJp8yPmjeBD-9wN-NvLoZyd_EPaEP4FPST4
ContentType Conference Proceeding
Copyright Springer-Verlag Berlin Heidelberg 2013
Copyright_xml – notice: Springer-Verlag Berlin Heidelberg 2013
DOI 10.1007/978-3-642-40885-4
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
Computer Science
EISBN 9783642408854
3642408850
EISSN 1611-3349
Editor Ringeissen, Christophe
Fontaine, Pascal
Schmidt, Renate A.
Editor_xml – sequence: 1
  givenname: Pascal
  surname: Fontaine
  fullname: Fontaine, Pascal
  email: pascal.fontaine@inria.fr
  organization: LORIA, Inria Nancy Grand Est, Université de Lorraine, Villers-les-Nancy, France
– sequence: 2
  givenname: Christophe
  surname: Ringeissen
  fullname: Ringeissen, Christophe
  email: christophe.ringeissen@loria.fr
  organization: LORIA, Inria Nancy Grand Est, Villers-lès-Nancy, France
– sequence: 3
  givenname: Renate A.
  surname: Schmidt
  fullname: Schmidt, Renate A.
  email: renate.schmidt@manchester.ac.uk
  organization: School of Computer Science, The University of Manchester, Manchester, UK
ExternalDocumentID 318892
GroupedDBID -DT
-GH
-~X
1SB
29L
2HA
2HV
5QI
875
AASHB
ABMNI
ACGFS
ADCXD
AEFIE
ALMA_UNASSIGNED_HOLDINGS
EJD
F5P
FEDTE
HVGLF
LAS
LDH
P2P
RIG
RNI
RSU
SVGTG
VI1
~02
ID FETCH-LOGICAL-b2105-3054a4a14c2f2db464f3e558cebab58d73cd9138d9f575dc5d71a663c26b186d3
ISBN 9783642408847
3642408842
ISSN 0302-9743
IngestDate Wed Oct 30 01:55:40 EDT 2024
IsPeerReviewed true
IsScholarly true
Language English
LinkModel OpenURL
MeetingName International Symposium on Frontiers of Combining Systems
MergedId FETCHMERGED-LOGICAL-b2105-3054a4a14c2f2db464f3e558cebab58d73cd9138d9f575dc5d71a663c26b186d3
ParticipantIDs springer_books_10_1007_978_3_642_40885_4
PublicationCentury 2000
PublicationDate 2013
PublicationDateYYYYMMDD 2013-01-01
PublicationDate_xml – year: 2013
  text: 2013
PublicationDecade 2010
PublicationPlace Berlin, Heidelberg
PublicationPlace_xml – name: Berlin, Heidelberg
PublicationSeriesSubtitle Lecture Notes in Artificial Intelligence
PublicationSeriesTitle Lecture Notes in Computer Science
PublicationYear 2013
Publisher Springer Berlin Heidelberg
Publisher_xml – name: Springer Berlin Heidelberg
RelatedPersons Kleinberg, Jon M.
Mattern, Friedemann
Nierstrasz, Oscar
Steffen, Bernhard
Kittler, Josef
Vardi, Moshe Y.
Weikum, Gerhard
Sudan, Madhu
Naor, Moni
Mitchell, John C.
Terzopoulos, Demetri
Pandu Rangan, C.
Kanade, Takeo
Hutchison, David
Tygar, Doug
RelatedPersons_xml – sequence: 1
  givenname: David
  surname: Hutchison
  fullname: Hutchison, David
  organization: Lancaster University, Lancaster, UK
– sequence: 2
  givenname: Takeo
  surname: Kanade
  fullname: Kanade, Takeo
  organization: Carnegie Mellon University, Pittsburgh, USA
– sequence: 3
  givenname: Josef
  surname: Kittler
  fullname: Kittler, Josef
  organization: University of Surrey, Guildford, UK
– sequence: 4
  givenname: Jon M.
  surname: Kleinberg
  fullname: Kleinberg, Jon M.
  organization: Cornell University, Ithaca, USA
– sequence: 5
  givenname: Friedemann
  surname: Mattern
  fullname: Mattern, Friedemann
  organization: ETH Zurich, Zurich, Switzerland
– sequence: 6
  givenname: John C.
  surname: Mitchell
  fullname: Mitchell, John C.
  organization: Stanford University, Stanford, USA
– sequence: 7
  givenname: Moni
  surname: Naor
  fullname: Naor, Moni
  organization: Weizmann Institute of Science, Rehovot, Israel
– sequence: 8
  givenname: Oscar
  surname: Nierstrasz
  fullname: Nierstrasz, Oscar
  organization: University of Bern, Bern, Switzerland
– sequence: 9
  givenname: C.
  surname: Pandu Rangan
  fullname: Pandu Rangan, C.
  organization: Indian Institute of Technology, Madras, India
– sequence: 10
  givenname: Bernhard
  surname: Steffen
  fullname: Steffen, Bernhard
  organization: University of Dortmund, Dortmund, Germany
– sequence: 11
  givenname: Madhu
  surname: Sudan
  fullname: Sudan, Madhu
  organization: Massachusetts Institute of Technology, USA
– sequence: 12
  givenname: Demetri
  surname: Terzopoulos
  fullname: Terzopoulos, Demetri
  organization: University of California, Los Angeles, USA
– sequence: 13
  givenname: Doug
  surname: Tygar
  fullname: Tygar, Doug
  organization: University of California, Berkeley, USA
– sequence: 14
  givenname: Moshe Y.
  surname: Vardi
  fullname: Vardi, Moshe Y.
  organization: Rice University, Houston, USA
– sequence: 15
  givenname: Gerhard
  surname: Weikum
  fullname: Weikum, Gerhard
  organization: Max-Planck Institute of Computer Science, Saarbrücken, Germany
SSID ssib019776818
ssj0002792
ssib024821366
ssib047494499
ssib022819969
ssj0001010869
Score 1.8231232
SourceID springer
SourceType Publisher
SubjectTerms Algorithm Analysis and Problem Complexity
Artificial Intelligence
Computer Science
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Software Engineering
Subtitle 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
Title Frontiers of Combining Systems
URI http://link.springer.com/10.1007/978-3-642-40885-4
Volume 8152
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV09T8MwELWgLLAApYjPKgMDUhWUOOfEGRgQKqqqUjG0qFsU28lGI9Gw8Os5J3HS0AoBS1RFVVP7zs_vcr53hNw4QkoM_8F2WCpsENyxuUwwWAEqufAAYkdXIz9P_dEcxgu2aHSIi-qSXNzJz611Jf-xKt5Du-oq2T9Ytv5RvIGf0b54RQvj9Rv53brPPGnxAd3KujhTkb2JotlDS4Rc_41kdT-pMgXTLC8OYA1MMweztteDf92IoRX8m5d_gx-0sYo6DdBKZrzUtjTlUgiFGEyU6JKU6OdrTUOv1BA18MjdUmJ2A2vXj1fgA2z9BFaV7LQlrBE3eIj75G7AETv3HobjyatZ9C4SUJ83GyTVmb3QrzkWBU5dr-GcEEAIJqYtXqQ5ullUWG-_WhGxTB2V49MFPWb8tJRcaubD5LkrqeHWQDZy4wXlmB2RXlOMab3U5j8mO8mySw6NAa3KgF1ysCYteUL6tXNYWWrVzmFVztEj86fh7HFkV70wbIFBObMRliGG2AVJU6oE-JB6CWO4rkQsGFeBJ1XoelyFKRJwJZkK3BjZpKS-cLmvvFPSWWbL5IxYEDOhVMpliNREhUxQLhxfo3EiJHWCc3Jrxh1pZ19FRtoapyjyIpyiqJiiCC5-_9VLst848BXp5O8fyTXyuVz0K4_4Au51N20
linkProvider Library Specific Holdings
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Frontiers+of+Combining+Systems&rft.series=Lecture+Notes+in+Computer+Science&rft.date=2013-01-01&rft.pub=Springer+Berlin+Heidelberg&rft.isbn=9783642408847&rft.issn=0302-9743&rft.eissn=1611-3349&rft.volume=8152&rft_id=info:doi/10.1007%2F978-3-642-40885-4&rft.externalDocID=318892
thumbnail_s http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fmedia.springernature.com%2Fw306%2Fspringer-static%2Fcover-hires%2Fbook%2F978-3-642-40885-4