Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Pierre Valarcher" ( http://dblp.L3S.de/Authors/Pierre_Valarcher )

  Author page on DBLP  Author page in RDF  Community of Pierre Valarcher in ASPL-2

Publication years (Num. hits)
1996-2011 (11)
Publication types (Num. hits)
article(7) inproceedings(4)
Venues (Conferences, Journals, ...)
ITA(2) Abstract State Machines(1) ACM Trans. Comput. Log.(1) ASIAN(1) ASM(1) CoRR(1) Electr. Notes Theor. Comput. S...(1) Fundam. Inform.(1) Nord. J. Comput.(1) STACS(1)
Authors
Pierre Valarcher(11) Bruno Patrou(2) Philippe Andary(2) Serge Grigorieff(2) Tristan Crolard(2) David Michel(1) Emmanuel Polonowski(1) Frédéric Gervais(1) Jean-Baptiste Yunès(1) Jean-Francis Michon(1) Samuel Lacas(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Philippe Andary, Bruno Patrou, Pierre Valarcher A Representation Theorem for Primitive Recursive Algorithms. Search on Bibsonomy Fundam. Inform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Serge Grigorieff, Pierre Valarcher Evolving MultiAlgebras unify all usual sequential computation models Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Serge Grigorieff, Pierre Valarcher Evolving Multialgebras Unify All Usual Sequential Computation Models. Search on Bibsonomy STACS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1David Michel, Frédéric Gervais, Pierre Valarcher B-ASM: Specification of ASM à la B. Search on Bibsonomy ASM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tristan Crolard, Emmanuel Polonowski, Pierre Valarcher Extending the loop language with higher-order procedural variables. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Gödel System T, Loop language, higher-order procedures, procedural variables
1Pierre Valarcher A complete characterization of primitive recursive intensional behaviours. Search on Bibsonomy ITA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Tristan Crolard, Samuel Lacas, Pierre Valarcher On the Expressive Power of the Loop Language. Search on Bibsonomy Nord. J. Comput. The full citation details ... 2006 DBLP  BibTeX  RDF
1Jean-Francis Michon, Jean-Baptiste Yunès, Pierre Valarcher On maximal QROBDD's of Boolean functions. Search on Bibsonomy ITA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Philippe Andary, Bruno Patrou, Pierre Valarcher About Implementation of Primitive Recursive Algorithms. Search on Bibsonomy Abstract State Machines The full citation details ... 2005 DBLP  BibTeX  RDF
1Pierre Valarcher Intensional semantics of system T of Gödel. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Pierre Valarcher Intensionality versus Extensionality and Primitive Recursion. Search on Bibsonomy ASIAN The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #11 of 11 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.