Strong fairness and ultra metricsEvaluation and Comparison of Two Efficient Probabilistic Primality Testing AlgorithmsLinear logicQuantum cryptography: Public key distribution and coin tossingMeadows and the equational specification of divisionFully abstract models of typed λ-calculiA tight linear bound on the synchronization delay of bijective automataAlgorithmic graph embeddingsOn read once vs. multiple access to randomness in logspaceContributions of Ronald V. Book to the theory of string-rewriting systemsDomain representations of topological spacesThe complexity of counting self-avoiding walks in subgraphs of two-dimensional grids and hypercubesMin cut is NP-complete for edge weighted treesThe Othello game on an n × n board is PSPACE-completeSearching and pebblingThe smallest automation recognizing the subwords of a textA type-theoretical alternative to ISWIM, CUCH, OWHYCall-by-name, call-by-value and the λ-calculusA six-state minimal time solution to the firing squad synchronization problemOnline regret bounds for Markov decision processes with deterministic transitionsA shrinking lemma for indexed languagesGénération d'une section des classes de conjugaison et arbre des mots de Lyndon de longueur bornéeLCF considered as a programming languageFinitary PCF is not decidableA semantics for concurrent separation logicDividing connected chores fairlyA partial k-arboretum of graphs with bounded treewidthOne complexity theorist's view of quantum computingPrefaceOn the decomposition of datalog program mappingsResources, concurrency, and local reasoningInfinite games on finitely coloured graphs with applications to automata on infinite treesDynamic of cyclic automata over Z2Complexity lower bounds for computation trees with elementary transcendental function gatesUndirected edge geographyA Fast Hermite Transform.A strand graph semantics for DNA-based computationModular verification of chemical reaction network encodings via serializability analysisProbabilistic systems coalgebraically: A survey.The Asynchronous Bounded-Cycle model.
P1433
Q27924892-A568C820-B6A3-4C06-ABB2-A263B4254804Q27940855-8B0F2A90-6FA4-4DBB-A001-536BE5DD7476Q28470256-2f9778cc-4184-aceb-8a61-aeaa0e9c46faQ29011667-DFBDA4AE-4867-4BEB-8B30-96CE412E017DQ29011946-3906AA9E-8D81-46C7-8589-6D947E98F3E2Q29012844-A5E4C925-9F87-4394-9A6B-B8B8DB774D34Q29013339-E7A59EDD-3F09-40CA-BF7F-AD7355A11ABBQ29026733-0E0FFC76-715C-496B-9793-A85341E9500CQ29027264-5CCF5E7B-C37F-4CB5-A116-86E8A91A51AEQ29029310-E9F6B261-D853-4CDE-B0D2-FC897C4A6EB5Q29029652-46AABFB4-40B0-4FE4-B783-29D76B56481BQ29029689-0F9F638F-8BA3-4B4F-9C0F-2E5AB5132ACBQ29030082-455D3E6D-FA6E-4547-809A-19FEE1BA1722Q29030258-1D5C6F52-A91A-4726-9F88-18C7D8C76413Q29030357-33024FF6-79E6-4191-958E-3FE664592B0FQ29036151-355F1B8A-126F-4017-8C55-384DA1398708Q29037708-97699FFD-D64B-43C8-8AE1-A23DF6BB3010Q29041781-6ECC754E-9366-4BB9-859A-99142BA29300Q29300723-143D466E-C00D-42B8-8228-DE6633B0D293Q29307615-6E378E71-9065-405B-A572-B09F332EC79EQ29392907-3248A632-7036-41A5-BD68-2B63AA83E599Q29393546-DBBD44B1-BD2B-46FA-964F-28D6BF01BDB4Q29395195-418E29E8-C713-4237-87A4-2F75DE717A64Q29396610-11923179-62E5-42E4-897E-2FD3E71E4760Q29396804-324EAC22-510D-4BD7-9B21-8683C856D0FFQ29540237-3D9E0849-069D-4D9B-A7E0-E4A5D1357970Q29542840-C61192F7-884E-4B94-A38F-A68870FE988FQ29544201-866A322D-06BE-467B-945F-4E58CF4CE421Q29544398-64B2D5A1-8D64-40E2-A54A-7A4728171260Q29544760-C11E5037-0C5B-48E7-8CF7-657E4D095248Q29544774-4791AA07-4869-4455-BE96-4B27A01FA22FQ30040294-D717841D-0742-49B2-9165-473DE51321C9Q30048119-ADE39E1A-DBBE-4E67-A977-F0DA9AC8EAA0Q30048515-7D98F769-8BCB-4710-8479-FB9E44F273C0Q30048559-80518CEE-15FC-4BD0-A0C3-B17742B8DD09Q30383733-3D9FFE19-171D-45D5-A404-68B55B38472EQ36977561-D2700FF2-F923-4D1F-B195-369DB1B744EDQ37015209-F45AF4C2-EAA8-4E7D-BBBB-50E68B685E2CQ38617235-95632CA2-BAA7-4423-80A4-00232BA53B9DQ38681705-1631C544-1CBC-45D7-99DB-C0942D9A27CA
P1433
description
Journal
@de
journal
@en
revista científica
@es
rivista scientifica
@it
vědecký časopis
@cs
wetenschappelijk tijdschrift van Elsevier
@nl
مجلة
@ar
वैज्ञानिक पत्रिका
@hi
name
Theoretical Computer Science (журнал)
@uk
Theoretical Computer Science
@ast
Theoretical Computer Science
@da
Theoretical Computer Science
@de
Theoretical Computer Science
@en
Theoretical Computer Science
@es
Theoretical Computer Science
@fi
Theoretical Computer Science
@fr
Theoretical Computer Science
@it
Theoretical Computer Science
@nb
type
label
Theoretical Computer Science (журнал)
@uk
Theoretical Computer Science
@ast
Theoretical Computer Science
@da
Theoretical Computer Science
@de
Theoretical Computer Science
@en
Theoretical Computer Science
@es
Theoretical Computer Science
@fi
Theoretical Computer Science
@fr
Theoretical Computer Science
@it
Theoretical Computer Science
@nb
altLabel
Theor. Comput. Sci.
@en
prefLabel
Theoretical Computer Science (журнал)
@uk
Theoretical Computer Science
@ast
Theoretical Computer Science
@da
Theoretical Computer Science
@de
Theoretical Computer Science
@en
Theoretical Computer Science
@es
Theoretical Computer Science
@fi
Theoretical Computer Science
@fr
Theoretical Computer Science
@it
Theoretical Computer Science
@nb
P214
P3181
P1055
P1058
P1156
P123
P1277
P1476
Theoretical Computer Science
@en
P214
P236
P3181
P407
P571
1975-01-01T00:00:00Z
P5963
theoretical-computer-science