Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2017, held in Tehran, Iran, in September 2017. The 8 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were o...

Full description

Saved in:
Bibliographic Details
Main Authors Mousavi, Mohammad Reza, Sgall, Jiri
Format eBook Conference Proceeding Book
LanguageEnglish
Published Netherlands Springer Nature 2017
Springer International Publishing
Springer
Edition1st Edition 2017
SeriesLecture Notes in Computer Science
Subjects
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Computer programming, programs, data
Computer Science
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Programming Techniques
Online AccessGet full text
ISBN9783319689531
3319689533
3319689525
9783319689524
ISSN0302-9743
1611-3349
DOI10.1007/978-3-319-68953-1

Cover

Abstract This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2017, held in Tehran, Iran, in September 2017. The 8 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: algorithms and complexity; and logic, semantics, and programming theory.
AbstractList This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2017, held in Tehran, Iran, in September 2017. The 8 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: algorithms and complexity; and logic, semantics, and programming theory.
Book Front Matter of LNCS 10608
Author Sgall, Jiri
Mousavi, Mohammad Reza
Author_xml – sequence: 1
  fullname: Mousavi, Mohammad Reza
– sequence: 2
  fullname: Sgall, Jiri
BackLink https://inria.hal.science/hal-01760635$$DView record in HAL
BookMark eNpdkMFKAzEQhqNWsNY-gLfiQfAQO9nJJs2xFLVCwYPFa5hN0-7a7WbZ1Ipv77YVRE8D33z_MPyXrFOFyjN2LeBeAOih0SOOHIXhamRS5OKE9VuGLTkAccq6QgnBEaU5-7frsC4gJNxoiResH-M7AAjTohS77HYe6sLFQVEN5rkPjd8WjsrBJGzqj61vBq-u8JXzV-x8SWX0_Z_ZY2-PD_PJlM9enp4n4xmnJFEguaIsIUcSNZlULaQzSwfaIAmdGtKZ9pjKLIGE2gccCjdyBqRfIChwWWKwx-6Oh3Mqbd0UG2q-bKDCTsczu2cgtAKF6U78uhTX_jPmodxGuyt9FsI62j8ltO7w6Mb2aLXyjT1aAuy-4r1t0ba-PQTsPnFzTDiKVBZVYTehCquG6jzaVAqdKInf_XlyYA
ContentType eBook
Conference Proceeding
Book
Copyright IFIP International Federation for Information Processing 2017
Attribution
Copyright_xml – notice: IFIP International Federation for Information Processing 2017
– notice: Attribution
DBID I4C
1XC
DEWEY 005
DOI 10.1007/978-3-319-68953-1
DatabaseName Casalini Torrossa eBooks Institutional Catalogue
Hyper Article en Ligne (HAL)
DatabaseTitleList

DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 9783319689531
3319689533
EISSN 1611-3349
Edition 1st Edition 2017
Editor Mousavi, Mohammad Reza
Sgall, Jiř
Editor_xml – sequence: 1
  fullname: Mousavi, Mohammad Reza
– sequence: 2
  fullname: Sgall, Jiř
ExternalDocumentID oai:HAL:hal-01760635v1
9783319689531
440117
5417264
GroupedDBID 0D6
0DA
38.
AABBV
AALVI
ABBVZ
ABHTH
ABQUB
ACDJR
ADCXD
AEDXK
AEKFX
AETDV
AEZAY
AGIGN
AGYGE
AIODD
ALBAV
ALMA_UNASSIGNED_HOLDINGS
AZZ
BATQV
BBABE
CVWCR
CZZ
I4C
IEZ
LDH
NUC
SAO
SBO
SWYDZ
TPJZQ
TSXQS
Z7R
Z7U
Z7W
Z7X
Z7Y
Z7Z
Z81
Z83
Z84
Z85
Z87
Z88
-DT
-GH
-~X
1SB
29L
2HA
2HV
5QI
875
AASHB
ABMNI
ACGFS
AEFIE
EJD
F5P
FEDTE
HVGLF
LAS
P2P
RNI
RSU
SVGTG
VI1
~02
AEJLV
1XC
ID FETCH-LOGICAL-a22604-6ab2aca437a956d4c9fc0793a1759a7b7e354b202a930c31c8c904ed3060cb293
ISBN 9783319689531
3319689533
3319689525
9783319689524
ISSN 0302-9743
IngestDate Tue Oct 14 20:19:07 EDT 2025
Tue Aug 19 03:56:08 EDT 2025
Wed Sep 17 05:05:39 EDT 2025
Tue Nov 14 22:52:47 EST 2023
IsPeerReviewed true
IsScholarly true
LCCallNum_Ident Q
Language English
License Attribution: http://creativecommons.org/licenses/by
LinkModel OpenURL
MeetingName International Conference on Topics in Theoretical Computer Science
MergedId FETCHMERGED-LOGICAL-a22604-6ab2aca437a956d4c9fc0793a1759a7b7e354b202a930c31c8c904ed3060cb293
PageCount 1
ParticipantIDs hal_primary_oai_HAL_hal_01760635v1
askewsholts_vlebooks_9783319689531
springer_books_10_1007_978_3_319_68953_1
casalini_monographs_5417264
PublicationCentury 2000
PublicationDate 2017
2017-10-12
PublicationDateYYYYMMDD 2017-01-01
2017-10-12
PublicationDate_xml – year: 2017
  text: 2017
PublicationDecade 2010
PublicationPlace Netherlands
PublicationPlace_xml – name: Netherlands
– name: Cham
PublicationSeriesSubtitle Theoretical Computer Science and General Issues
PublicationSeriesTitle Lecture Notes in Computer Science
PublicationSeriesTitleAlternate Lect.Notes Computer
PublicationYear 2017
Publisher Springer Nature
Springer International Publishing
Springer
Publisher_xml – name: Springer Nature
– name: Springer International Publishing
– name: Springer
RelatedPersons Kleinberg, Jon M.
Mattern, Friedemann
Naor, Moni
Mitchell, John C.
Terzopoulos, Demetri
Steffen, Bernhard
Pandu Rangan, C.
Kanade, Takeo
Kittler, Josef
Weikum, Gerhard
Hutchison, David
Tygar, Doug
RelatedPersons_xml – sequence: 1
  givenname: David
  surname: Hutchison
  fullname: Hutchison, David
– sequence: 2
  givenname: Takeo
  surname: Kanade
  fullname: Kanade, Takeo
– sequence: 3
  givenname: Josef
  surname: Kittler
  fullname: Kittler, Josef
– sequence: 4
  givenname: Jon M.
  surname: Kleinberg
  fullname: Kleinberg, Jon M.
– sequence: 5
  givenname: Friedemann
  surname: Mattern
  fullname: Mattern, Friedemann
– sequence: 6
  givenname: John C.
  surname: Mitchell
  fullname: Mitchell, John C.
– sequence: 7
  givenname: Moni
  surname: Naor
  fullname: Naor, Moni
– sequence: 8
  givenname: C.
  surname: Pandu Rangan
  fullname: Pandu Rangan, C.
– sequence: 9
  givenname: Bernhard
  surname: Steffen
  fullname: Steffen, Bernhard
– sequence: 10
  givenname: Demetri
  surname: Terzopoulos
  fullname: Terzopoulos, Demetri
– sequence: 11
  givenname: Doug
  surname: Tygar
  fullname: Tygar, Doug
– sequence: 12
  givenname: Gerhard
  surname: Weikum
  fullname: Weikum, Gerhard
SSID ssj0001930253
ssj0002792
Score 2.410202
Snippet This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2017, held in...
Book Front Matter of LNCS 10608
SourceID hal
askewsholts
springer
casalini
SourceType Open Access Repository
Aggregation Database
Publisher
SubjectTerms Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Computer programming, programs, data
Computer Science
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Programming Techniques
Subtitle Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
Title Topics in Theoretical Computer Science
URI http://digital.casalini.it/9783319689531
http://link.springer.com/10.1007/978-3-319-68953-1
https://www.vlebooks.com/vleweb/product/openreader?id=none&isbn=9783319689531
https://inria.hal.science/hal-01760635
Volume 10608
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1NT9wwELUKvZQLUKi65UNRVVW9pEpiJ04OPSAEWqEt6oEibpbjeFXUKoualAO_vm_ieLOEPZReosiybGcmnhmP_Z4Z-xBFZl7yzIaJlSIU0mDO6SoLuakqLmQFD0bY4a-X2fS7uLhJb4ZLWjt0SVt-Ng9rcSX_o1WUQa-Ekn2GZpeNogDv0C-e0DCeo-B3vZ9Z3BHH8m3tEPY9HNHf0-CnrbMbxGfcfJn1OwaXi7Y7iLW-cp8EiOUoCeCTgKM04pDJerRq5DTt8iJ14GWPnoJlxNrCGRvrjGFGFIfcUYourWWUdUQMT23v6nELgkZRFzyMB0ezPP4nBDHRbbANKWGIXp6cXcyuh8RYgaGkgzslhkO3FeQGSAAd_wGpo1AaPsjvW_fUwY8GssW2dPMTrgNupW0oDtGNJvgpwoofdAp2tBXeRRhXO2x_wF4G35ba3mUvbP2abXs9Bb2e9thHp_3gtg5WtB-MK-6z6_Ozq9Np2F96EWpEwpEIM10m2mjBpcbatRKmmBtiMdQI9AotS2l5KsokSjQEZXhsclNEwlZY-0WmRPT2hm3Wi9q-ZUGF0lzzpIJbEsk8L-dcW5lj0ZokMhZ6wt6vSETd_-o26Bu1IlIeT9iBF5TC_HFE6o1KBULfTKAJyE7dOWoURWTl05OZojL8plgd8_QeTXzyolWuB0-WjZ4UV-hLdZ2p-N2_Vz1gr4apcMg2299_7BEixLY87v-pv1e4WFU
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=Topics+in+Theoretical+Computer+Science&rft.series=Lecture+Notes+in+Computer+Science&rft.date=2017-01-01&rft.pub=Springer+International+Publishing&rft.isbn=9783319689524&rft.issn=0302-9743&rft.eissn=1611-3349&rft.volume=10608&rft_id=info:doi/10.1007%2F978-3-319-68953-1&rft.externalDocID=440117
thumbnail_m http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fvle.dmmserver.com%2Fmedia%2F640%2F97833196%2F9783319689531.jpg
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-319-68953-1