Detalles del recurso

Descripción

International audience

Pertenece a

Archive EduTice a CCSD electronic archive server based on P.A.O.L  

Autor(es)

Heath , Quentin -  Miller , Dale - 

Id.: 71464007

Idioma: inglés  - 

Versión: 1.0

Estado: Final

Palabras claveACM  -  F. -  Theory of Computation/F.4 -  MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1 -  Mathematical Logic/F.4.1.7 -  Proof theory - 

Tipo de recurso: info:eu-repo/semantics/article  -  Journal articles  - 

Tipo de Interactividad: Expositivo

Nivel de Interactividad: muy bajo

Audiencia: Estudiante  -  Profesor  -  Autor  - 

Estructura: Atomic

Coste: no

Copyright: sí

: info:eu-repo/semantics/OpenAccess

Requerimientos técnicos:  Browser: Any - 

Relación: [IsBasedOn] ISSN: 0168-7433
[IsBasedOn] EISSN: 1573-0670
[IsBasedOn] Journal of Automated Reasoning
[IsBasedOn] https://hal.inria.fr/hal-01814006
[IsBasedOn] Journal of Automated Reasoning, Springer Verlag, In press, 〈10.1007/s10817-018-9475-3〉
[References] info:eu-repo/semantics/altIdentifier/doi/ 10.1007/s10817-018-9475-3

Fecha de contribución: 16-jun-2018

Contacto:

Localización:
* hal-01814006
* DOI : 10.1007/s10817-018-9475-3

Otros recursos de la mismacolección

  1. Weak convergence in the functional autoregressive model 28 pages
  2. Local functional principal component analysis International audience
  3. Specific and non-specific effects of potassium cations on substrate-protein interactions in cytochromes P450cam and P450lin. International audience
  4. Fluorescent agonists for the Torpedo nicotinic acetylcholine receptor. We have synthesized a series of fluorescent acylcholine derivatives carrying different linkers that ...
  5. Archéologie et Histoire du Moyen Âge en France : du dialogue entre disciplines aux pratiques universitaires. XXXVIIIe Congrès de la SHMESP (Cergy-Pontoise, Marne-la-Vallée, Saint-Quentin-en-Yvelines, 31 mai-3 ...

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.