Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 863 results
Sort by: relevance publication year

Negative-Base Number-Representation Systems

JOURNAL ARTICLE published June 1963 in IEEE Transactions on Electronic Computers

Authors: G. F. Songster

https://doi.org/10.1109/pgec.1963.263540 Actions

Negative Base Number Systems

JOURNAL ARTICLE published June 1957 in IRE Transactions on Electronic Computers

Authors: Louis B. Wadel

https://doi.org/10.1109/tec.1957.5221586 Actions

On Various Negative Translations

JOURNAL ARTICLE published 27 January 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: Gilda Ferreira | Paulo Oliva

https://doi.org/10.4204/eptcs.47.4 Actions

On the Number of Membranes in Unary P Systems

JOURNAL ARTICLE published 30 July 2009 in Electronic Proceedings in Theoretical Computer Science

Authors: Rudolf Freund | Andreas Klein | Martin Kutrib

https://doi.org/10.4204/eptcs.3.9 Actions

Conversion from Conventional to Negative-Base Number Representation

JOURNAL ARTICLE published December 1961 in IRE Transactions on Electronic Computers

Authors: Louis B. Wadel

https://doi.org/10.1109/tec.1961.5219290 Actions

Competition Report: CHC-COMP-20

JOURNAL ARTICLE published 7 August 2020 in Electronic Proceedings in Theoretical Computer Science

Authors: Philipp Rümmer

https://doi.org/10.4204/eptcs.320.15 Actions

Intersection Types for Real Number Computation

JOURNAL ARTICLE published 7 February 2017 in Electronic Proceedings in Theoretical Computer Science

Authors: Kazushige Terui

https://doi.org/10.4204/eptcs.242.2 Actions

Competition Report: CHC-COMP-21

JOURNAL ARTICLE published 13 September 2021 in Electronic Proceedings in Theoretical Computer Science

Authors: Grigory Fedyukovich | Philipp Rümmer

https://doi.org/10.4204/eptcs.344.7 Actions

Contracts in distributed systems

JOURNAL ARTICLE published 31 July 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: Massimo Bartoletti | Emilio Tuosto | Roberto Zunino

https://doi.org/10.4204/eptcs.59.11 Actions

A Minimal OO Calculus for Modelling Biological Systems

JOURNAL ARTICLE published 8 September 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: Livio Bioglio

https://doi.org/10.4204/eptcs.67.6 Actions

Refinement for Probabilistic Systems with Nondeterminism

JOURNAL ARTICLE published 17 June 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: Steve Reeves | David Streader

https://doi.org/10.4204/eptcs.55.6 Actions

Proceedings 7th International Workshop on Computing with Terms and Graphs

JOURNAL ARTICLE published 25 February 2013 in Electronic Proceedings in Theoretical Computer Science

Authors: Andrea Corradini

https://doi.org/10.4204/eptcs.110.1 Actions

Analysis of Non-Linear Probabilistic Hybrid Systems

JOURNAL ARTICLE published 4 July 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: Joseph Assouramou | Josée Desharnais

https://doi.org/10.4204/eptcs.57.8 Actions

Systems of Word Equations and Polynomials: a New Approach

JOURNAL ARTICLE published 17 August 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: Aleksi Saarela

https://doi.org/10.4204/eptcs.63.27 Actions

Interactions between Digital Geometry and Combinatorics on Words

JOURNAL ARTICLE published 17 August 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: Srečko Brlek

https://doi.org/10.4204/eptcs.63.1 Actions

Using the Context of User Feedback in Recommender Systems

JOURNAL ARTICLE published 13 December 2016 in Electronic Proceedings in Theoretical Computer Science

Authors: Ladislav Peska

https://doi.org/10.4204/eptcs.233.1 Actions

Deciding Reachability for 3-Dimensional Multi-Linear Systems

JOURNAL ARTICLE published 4 June 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: Olga Tveretina | Daniel Funke

https://doi.org/10.4204/eptcs.54.18 Actions

Time Delays in Membrane Systems and Petri Nets

JOURNAL ARTICLE published 4 July 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: Bogdan Aman | Gabriel Ciobanu

https://doi.org/10.4204/eptcs.57.4 Actions

CHC-COMP 2023: Competition Report

JOURNAL ARTICLE published 23 April 2024 in Electronic Proceedings in Theoretical Computer Science

Authors: Emanuele De Angelis | Hari Govind V K

https://doi.org/10.4204/eptcs.402.10 Actions

CHC-COMP 2022: Competition Report

JOURNAL ARTICLE published 22 November 2022 in Electronic Proceedings in Theoretical Computer Science

Authors: Emanuele De Angelis | Hari Govind V K

https://doi.org/10.4204/eptcs.373.5 Actions
Feedback: support@crossref.org