skip to main content

Idioma:

Resultados 1 - 10 de 153 para Búsqueda General

Ordenar por: Ordenar por: Fecha-la más antiguaOr hit Enter to replace sort method

Resultados 1 2 3 4 5

next page

Refinado por: Título de revista: Arxiv

eliminar

Título de revista: Logical Methods In Computer Science

eliminar

Result Number	Material Type	Add to My Shelf Action	Record Details and Options
1	Material Type: Artículo		Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective Natsuki Urabe ; Ichiro Hasuo Logical methods in computer science, 2017, Vol.13, Issue 3 [Revista revisada por pares] Logical Methods in Computer Science e.V Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
2	Material Type: Artículo		Stream Differential Equations: Specification Formats and Solution Methods Helle Hvid Hansen ; Clemens Kupke ; Jan Rutten Logical methods in computer science, 2017-01, Vol.13, Issue 1 [Revista revisada por pares] Logical Methods in Computer Science e.V Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
3	Material Type: Artículo		Logical compactness and constraint satisfaction problems Danny Rorabaugh ; Claude Tardif ; David Wehlau Logical methods in computer science, 2017-01, Vol.13, Issue 1 [Revista revisada por pares] Logical Methods in Computer Science e.V Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
4	Material Type: Artículo		On Sessions and Infinite Data Paula Severi ; Luca Padovani ; Emilio Tuosto ; Mariangiola Dezani-Ciancaglini Logical methods in computer science, 2017-01, Vol.13, Issue 2 [Revista revisada por pares] Logical Methods in Computer Science e.V Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
5	Material Type: Artículo		Computing Solution Operators of Boundary-value Problems for Some Linear Hyperbolic Systems of PDEs Svetlana Selivanova ; Victor Selivanov Logical methods in computer science, 2017-01, Vol.13, Issue 4 [Revista revisada por pares] Logical Methods in Computer Science e.V Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
6	Material Type: Artículo		Hanf numbers via accessible images Michael Lieberman ; Jiri Rosicky Logical methods in computer science, 2017-01, Vol.13, Issue 2 [Revista revisada por pares] Logical Methods in Computer Science e.V Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
7	Material Type: Artículo		Normalisation by Evaluation for Type Theory, in Type Theory Thorsten Altenkirch ; Ambrus Kaposi Logical methods in computer science, 2017-01, Vol.13, Issue 4 [Revista revisada por pares] Logical Methods in Computer Science e.V Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
8	Material Type: Artículo		Inter-procedural Two-Variable Herbrand Equalities Stefan Schulze Frielinghaus ; Michael Petter ; Helmut Seidl Logical methods in computer science, 2017-01, Vol.13, Issue 2 [Revista revisada por pares] Logical Methods in Computer Science e.V Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
9	Material Type: Artículo		Mixed powerdomains for probability and nondeterminism Klaus Keimel ; Gordon D. Plotkin Logical methods in computer science, 2017-01, Vol.13, Issue 1 [Revista revisada por pares] Logical Methods in Computer Science e.V Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
10	Material Type: Artículo		Lineal: A linear-algebraic Lambda-calculus Pablo Arrighi ; Gilles Dowek Logical methods in computer science, 2017-01, Vol.13, Issue 1 [Revista revisada por pares] Logical Methods in Computer Science e.V Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por

Resultados 1 - 10 de 153 para Búsqueda General

Ordenar por: Ordenar por: Fecha-la más antiguaOr hit Enter to replace sort method

Resultados 1 2 3 4 5

next page

Personalizar los resultados

Editar

RSS

Añadir página a Mi Portal

Refine Search Results

Ampliar mis resultados

Ampliar mis resultados

con este tema:

Realización: Logos de Redes Sociales:

Buscando en bases de datos remotas, por favor espere

Buscando por
enscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
Mostrar lo que tiene hasta ahora