A Short Biography of Arto SalomaaToward a theory of Pollard's rho methodParallel recognition of series-parallel graphsThe Vertex Separation and Search Number of a GraphThe complexity of stochastic gamesRigid E-unification: NP-completeness and applications to equational matingsNominal logic, a first order theory of names and bindingThe Weighted Majority AlgorithmIn Memoriam: Paris C. Kanellakis (1953–1995)Boolean grammarsExistence of constants in regular splicing languages.Region-Based Memory ManagementType inference for polymorphic referencesInapproximability of the Tutte polynomialResolution for Quantified Boolean FormulasGraph Isomorphism is in SPPNotions of computation and monadsA Syntactic Approach to Type SoundnessReasoning about Infinite ComputationsA calculus of mobile processes, IEffective symbolic dynamics, random points, statistical behavior, complexity and entropyOn the Monte Carlo space constructible functions and separation results for probabilistic complexity classesThe worst case complexity of McDiarmid and Reed's variant of BOTTOM-UP HEAPSORT is less than n log n + 1.1nAn Optimal Algorithm for Selection in a Min-HeapAlgorithms for determining relative star height and star heightKripke Logical Relations and PCFDenotational semantics of a parallel object-oriented languageA Completeness Theorem for Kleene Algebras and the Algebra of Regular EventsA Calculus for Overloaded Functions with SubtypingThe complexity of approximating bounded-degree Boolean #CSPCounting and sampling H-colouringsExact algorithms for maximum independent setThe calculus of constructionsApproximate counting, uniform generation and rapidly mixing Markov chainsSome results on the generalized star-height problemDescriptional and computational complexity of finite automata—A surveyPoint Location in Arrangements of HyperplanesFull Abstraction for PCFFull Abstraction in the Lazy Lambda CalculusStructure of parallel multipliers for a class of fields GF(2m)
P1433
Q29012638-0AFEEFFB-33E0-46FA-A572-174F13AC186AQ29031634-E3B11C79-112A-4CBC-8989-79E85BB561A0Q29036715-2E2C980D-2414-48AE-BC42-95801822213EQ29039022-7CF9DF88-0CE8-4F36-95AB-70938180477BQ29040293-E06E00F6-06CA-4DA0-BD43-C85FD8E9E5AEQ29392267-0E2CB538-D77A-440C-8770-6F4C7D1B480FQ29393340-040BC298-F21C-4637-BB55-854DF0EB0705Q29400139-A8659487-0837-4B40-A796-452CCA62CD74Q30040568-262F2148-F733-4365-B1A6-12201D5AE244Q30053738-87CFCFF4-A0FA-4038-BF86-F109CC16F854Q41542044-6DA04278-C666-441C-A48E-B6061825F486Q55222538-53E793A9-6BBF-49C8-8992-F68B08D8D823Q55222540-74B7DB60-1FC5-43EB-BBEC-FBBD52D95856Q55879601-E37A9578-EE1A-4B18-A928-D2B7BADF25A5Q55889272-A86647B8-C0C0-4766-820F-88CE81A26615Q55889735-E3C19DC3-78EE-46FB-9C41-447C024FAB31Q55895577-B88DC316-DD3B-472E-9A46-11222769CB2BQ55952333-89519D6A-AC34-4262-892F-ABF5282D31D0Q55952477-8A9D47DE-7FEF-482C-96FC-DA724AFD9CFCQ56019902-5EB90607-20E3-4695-8EB6-1632B6D612AAQ56038299-413C9498-574D-4932-95AB-F892B036F2E1Q56039186-CC713DF3-DCA5-4F26-9B49-570742C69340Q56049342-FEB65B4D-ECC4-447B-AC77-BA2ED7CE502DQ56049346-5499735D-37F7-440F-A82B-F5EB5BE024E2Q56061218-CFDF671D-FDA7-440C-AEC8-DF56E1312B49Q56092885-FA010C6B-F1DE-4FF7-876F-FF6BF50EBB68Q56092891-A15E5D19-EABE-4B1B-A8D9-51A2E54E6B3BQ56140181-FF67772D-8E7E-40E4-8FC7-39F8F9108610Q56145254-95E19750-C81A-457F-8033-10C0CBB029ABQ56323824-A1775BEF-BF3A-41A2-9516-20700DFEFBF8Q56323928-D60E777A-1736-41BA-B62A-D875DD99CFD1Q56335614-8B73F975-F3AE-46FB-AE32-330C885B2C49Q56385237-DCC8EBB9-5B1D-46C3-885A-7465F1EC6799Q56386806-1823EB9D-CB85-4959-95D1-1F4C948E205EQ56388123-F69A86EF-BDC9-43EE-A305-3F16BDCA54FEQ56431188-30352CB8-92CA-49F7-9A77-0DD9F3BAE436Q56442932-323797B0-63D4-4A7C-A864-6B77C710CFF1Q56443857-3297D3C5-8C87-43E3-BC14-9FC1C6AED0C5Q56443859-C42DABDD-8289-44A1-A89B-A5E5AC442F62Q56453869-E5E1689A-CEBE-4F7D-B549-4B50AE60AF78
P1433
description
journal
@en
revista científica
@es
rivista scientifica
@it
vědecký časopis
@cs
wetenschappelijk tijdschrift van Academic Press
@nl
wissenschaftliche Fachzeitschrift
@de
مجلة
@ar
वैज्ञानिक पत्रिका
@hi
name
Information and Computation
@ast
Information and Computation
@da
Information and Computation
@en
Information and Computation
@es
Information and Computation
@fi
Information and Computation
@fr
Information and Computation
@it
Information and Computation
@nb
Information and Computation
@nl
Information and Computation
@nn
type
label
Information and Computation
@ast
Information and Computation
@da
Information and Computation
@en
Information and Computation
@es
Information and Computation
@fi
Information and Computation
@fr
Information and Computation
@it
Information and Computation
@nb
Information and Computation
@nl
Information and Computation
@nn
prefLabel
Information and Computation
@ast
Information and Computation
@da
Information and Computation
@en
Information and Computation
@es
Information and Computation
@fi
Information and Computation
@fr
Information and Computation
@it
Information and Computation
@nb
Information and Computation
@nl
Information and Computation
@nn
P3181
P1055
P1058
P1156
P1160
Inform. Comput.
P123
P1250
P1277
P1476
Information and Computation
@en
P236
P3181
P407
P571
1957-01-01T00:00:00Z
P5963
information-and-computation