Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
22
views
17
references
Top references
cited by
1
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,577
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
SOFSEM 2013: Theory and Practice of Computer Science
SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators
other
Author(s):
Luca Aceto
,
Eugen-Ioan Goriac
,
Anna Ingólfsdóttir
Publication date
(Print):
2013
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Recursive Rule based Visual Categorization
Most cited references
17
Record
: found
Abstract
: not found
Book Chapter
: not found
Concurrency and automata on infinite sequences
David Park
(1981)
0
comments
Cited
119
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Calculi for synchrony and asynchrony
Robin Milner
(1983)
0
comments
Cited
92
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Representation of Events in Nerve Nets and Finite Automata
S. Kleene
,
C. Shannon
,
J. McCarthy
(1956)
0
comments
Cited
55
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2013
Pages
: 108-120
DOI:
10.1007/978-3-642-35843-2_11
SO-VID:
dee3e776-0a46-4c7e-9b3b-b4507c32b63f
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Theory of Multi Core Hypervisor Verification
pp. 28
Software Components in Computer Assisted Living?
pp. 29
Engineering Algorithms for Large Data Sets
pp. 33
Core Stability in Hedonic Coalition Formation
pp. 51
Software Production: A New Paradigm for Software Engineering Research
pp. 52
A Model of the Commit Size Distribution of Open Source
pp. 67
ISICIL: Semantics and Social Networks for Business Intelligence
pp. 86
A Multi-dimensional Comparison of Ontology Design Patterns for Representing n-ary Relations
pp. 106
Cognition-Enabled Autonomous Robot Control for the Realization of Home Chore Task Intelligence
pp. 107
Searching Things in Large Sets of Images
pp. 108
SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators
pp. 121
Worst Case Analysis of Non-local Games
pp. 133
Two-Dimensional Rational Automata: A Bridge Unifying One- and Two-Dimensional Language Theory
pp. 146
Flow Decompositions in External Memory
pp. 157
Improved Approximations for Ordered TSP on Near-Metric Graphs,
pp. 169
Asymptotic Risk Analysis for Trust and Reputation Systems
pp. 182
Being Caught between a Rock and a Hard Place in an Election – Voter Deterrence by Deletion of Candidates
pp. 194
Collective Additive Tree Spanners of Bounded Tree-Breadth Graphs with Generalizations and Consequences
pp. 207
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks
pp. 220
Generalising and Unifying SLUR and Unit-Refutation Completeness
pp. 233
On Structural Parameterizations for the 2-Club Problem
pp. 244
On Languages of One-Dimensional Overlapping Tiles
pp. 257
An Exact Algorithm to Check the Existence of (Elementary) Paths and a Generalisation of the Cut Problem in Graphs with Forbidden Transitions
pp. 268
Polynomial Time Algorithms for Computing a Minimum Hull Set in Distance-Hereditary and Chordal Graphs
pp. 280
Permuted Pattern Matching on Multi-track Strings
pp. 292
Online and Quasi-online Colorings of Wedges and Intervals
pp. 307
Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages
pp. 319
Incomplete Transition Complexity of Some Basic Operations
pp. 332
Algorithms and Almost Tight Results for 3-Colorability of Small Diameter Graphs
pp. 344
Approximating the k-Splittable Capacitated Network Design Problem
pp. 356
Mixed Hypergraphs for Linear-Time Construction of Denser Hashing-Based Data Structures
pp. 369
Coalgebraic Bisimulation-Up-To
pp. 382
A Model Transformation Language Based on Logic Programming
pp. 395
Hypermodelling Reporting: Towards Cockpits for Code Structure
pp. 408
Search in Source Code Based on Identifying Popular Fragments
pp. 420
SimCo – Hybrid Simulator for Testing of Component Based Applications
pp. 432
Refinement Inference for Sequence Diagrams
pp. 445
Improving Relevance of Keyword Extraction from the Web Utilizing Visual Style Information
pp. 457
Utilizing Microblogs for Web Page Relevant Term Acquisition
pp. 469
State Coverage: An Empirical Analysis Based on a User Study
pp. 481
Surrogate Model for Mixed-Variables Evolutionary Optimization Based on GLM and RBF Networks
pp. 491
Computing Semantic Similarity Using Large Static Corpora
pp. 503
The Orchestra of Multiple Model Repositories
pp. 515
An Ontology-Driven Fuzzy Workflow System
pp. 528
Constructs Replacing and Complexity Downgrading via a Generic OWL Ontology Transformation Framework
pp. 540
Tempo Adaptation within Interactive Music Instruments in Mobile Phone
pp. 552
Dynamic Voting Interface in Social Media: Does it Affect Individual Votes?
Similar content
3,577
Extended Unary Coding
Authors:
Subhash Kak
Memoization for Unary Logic Programming: Characterizing PTIME
Authors:
Clément Aubert
,
Marc Bagnol
,
Thomas Seiller
PCG-inexact Newton methods for unary optimization
Authors:
Jianzhong Zhang
,
Yi Xue
,
Ping Zhong
…
See all similar
Cited by
1
SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators
Authors:
Luca Aceto
,
Eugen-Ioan Goriac
,
Anna Ingolfsdottir
See all cited by