Exploring conditional rewriting logic computations (Englisch)
- Neue Suche nach: Alpuente, M.
- Neue Suche nach: Ballis, D.
- Neue Suche nach: Frechina, F.
- Neue Suche nach: Sapiña, J.
- Neue Suche nach: Alpuente, M.
- Neue Suche nach: Ballis, D.
- Neue Suche nach: Frechina, F.
- Neue Suche nach: Sapiña, J.
In:
Journal of Symbolic Computation
;
69
;
3-39
;
2014
-
ISSN:
- Aufsatz (Zeitschrift) / Elektronische Ressource
-
Titel:Exploring conditional rewriting logic computations
-
Beteiligte:Alpuente, M. ( Autor:in ) / Ballis, D. ( Autor:in ) / Frechina, F. ( Autor:in ) / Sapiña, J. ( Autor:in )
-
Erschienen in:Journal of Symbolic Computation ; 69 ; 3-39
-
Verlag:
- Neue Suche nach: Elsevier Ltd
-
Erscheinungsdatum:25.06.2014
-
Format / Umfang:37 pages
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis – Band 69
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Special issue on symbolic computation in software scienceBouhoula, Adel / Buchberger, Bruno / Kovács, Laura / Kutsia, Temur et al. | 2014
- 3
-
Exploring conditional rewriting logic computationsAlpuente, M. / Ballis, D. / Frechina, F. / Sapiña, J. et al. | 2014
- 40
-
Parametrized automata simulation and application to service compositionBelkhir, Walid / Chevalier, Yannick / Rusinowitch, Michael et al. | 2014
- 61
-
Synthesis of list algorithms by mechanical provingDrămnesc, Isabela / Jebelean, Tudor et al. | 2014
- 93
-
Formalizing polygonal knot origamiIda, Tetsuo / Ghourabi, Fadoua / Takahashi, Kazuko et al. | 2014
- 109
-
Learning-assisted theorem proving with millions of lemmasKaliszyk, Cezary / Urban, Josef et al. | 2014
- 129
-
Beyond polynomials and Peano arithmetic—automation of elementary and ordinal interpretationsZankl, Harald / Winkler, Sarah / Middeldorp, Aart et al. | 2014
- IFC
-
Editorial Board| 2015