Yazar
Piessens, Frank. editor.
Format:
Electronic Resources
Alıntı:
Countable Families -- Computational Soundness Results for Stateful Applied pi Calculus. .
Yazar
Cygan, Marek. author.
Format:
Electronic Resources
Alıntı:
representative families of matroids, and use of the Strong Exponential Time Hypothesis. A number of older results
View Other Search Results
Yazar
Akiyama, Jin. editor.
Format:
Electronic Resources
Alıntı:
-- Generating Polygons with Triangles -- Cross-Intersecting Families of Vectors -- The Double Multicompetition
Yazar
Parisi-Presicce, Francesco. editor.
Format:
Electronic Resources
Alıntı:
-- Equational Reasoning with Context-Free Families of String Diagrams -- Translating Essential OCL Invariants to
Yazar
Echahed, Rachid. editor.
Format:
Electronic Resources
Alıntı:
Package for Chemically Inspired Graph Transformation -- A Tool Environment for Managing Families of Model
Yazar
Devitt, Simon. editor.
Format:
Electronic Resources
Alıntı:
Process Calculi -- Rigid Families for the Reversible pi-calculus -- A calculus for local
Yazar
Gheorghe, Marian. editor.
Format:
Electronic Resources
Alıntı:
in Membrane Systems Computations -- Families of Languages Encoded by SN P Systems -- On the Robust
Yazar
Dastani, Mehdi. editor.
Format:
Electronic Resources
Alıntı:
-- Bisimilarity of Open Terms in Stream GSOS -- Composing Families of Timed Automata -- A Core Calculus for Multi
Yazar
Schmidt, Kai-Uwe. editor.
Format:
Electronic Resources
Alıntı:
-- Families of 3D Arrays for Video Watermarking -- Relative Difference Sets -- The Nonexistence of ð18; 3; 18
Yazar
Colbourn, Charles J. editor.
Format:
Electronic Resources
Alıntı:
Additions -- Cops and robber on some families of oriented graphs -- Disjoint clustering in combinatorial
Yazar
Friggstad, Zachary. editor.
Format:
Electronic Resources
Alıntı:
Results and Open Problems -- Succinct Data Structures for Families of Interval Graphs -- On
Yazar
Eisenbrand, Friedrich. editor.
Format:
Electronic Resources
Alıntı:
Multiway Cut -- Approximation of Corner Polyhedra with Families of Intersection Cuts -- The Structure of
Arama Sonuçlarını Sınırlandır
Daraltılmış: