On dual programs in co-logic programming and the Horn Formula Not Shown -calculus (Englisch)
- Neue Suche nach: Seki, H.
- Neue Suche nach: Seki, H.
In:
FORMAL ASPECTS OF COMPUTING
;
29
, 3
;
401-421
;
2017
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:On dual programs in co-logic programming and the Horn Formula Not Shown -calculus
-
Beteiligte:Seki, H. ( Autor:in )
-
Erschienen in:FORMAL ASPECTS OF COMPUTING ; 29, 3 ; 401-421
-
Verlag:
- Neue Suche nach: Springer Science + Business Media
-
Erscheinungsdatum:01.01.2017
-
Format / Umfang:21 pages
-
ISSN:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 004
- Weitere Informationen zu Dewey Decimal Classification
-
Klassifikation:
DDC: 004 -
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis – Band 29, Ausgabe 3
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.
- 381
-
EditorialFalaschi, Moreno / Sampaio, Augusto et al. | 2017
- 383
-
Proof checking and logic programmingMiller, Dale et al. | 2016
- 401
-
On dual programs in co-logic programming and the Horn Formula Not Shown -calculusSeki, H. et al. | 2017
- 401
-
On dual programs in co-logic programming and the Horn $${\mu}$$-calculusSeki, Hirohisa et al. | 2016
- 423
-
Equational formulas and pattern operations in initial order-sorted algebrasMeseguer, José / Skeirik, Stephen et al. | 2017
- 453
-
Operational semantics of resolution and productivity in Horn clause logicFu, Peng / Komendantskaya, Ekaterina et al. | 2016
- 475
-
Transforming Boolean equalities into constraintsAntoy, Sergio / Hanus, Michael et al. | 2016
- 495
-
Assumption propagation through annotated programsChaudhari, Dipak L. / Damani, Om et al. | 2016
- 531
-
A program analysis framework for tccp based on abstract interpretationComini, Marco / Gallardo, María-del-Mar / Titolo, Laura / Villanueva, Alicia et al. | 2017
- 559
-
Optimizing sorting algorithms by using sorting networksCodish, Michael / Cruz-Filipe, Luís / Nebel, Markus / Schneider-Kamp, Peter et al. | 2016