Búsqueda de Publicación - Prisma - Unidad de Bibliometría

Publicaciones en la fuente ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE

Tipo Año Título Fuente
Artículo2009A Framework for Complexity Classes in Membrane ComputingELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Artículo2008Constructing Formally Verified Reasoners for the ALC Description LogicELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Artículo2007A Linear-time Tissue P System Based Solution for the 3-coloring ProblemELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Artículo2007Membrane Systems with Marked MembranesELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Artículo2007Using Aspect-orientation Techniques to Improve Reuse of MetamodelsELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Artículo2005Towards a Programming Language in Cellular ComputingELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Ponencia2001Digital homotopy with obstaclesELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE