Show simple item record

Logic and Computation

dc.contributor.editorDiaconescu, Răzvan
dc.date.accessioned2023-05-11T17:21:04Z
dc.date.available2023-05-11T17:21:04Z
dc.date.issued2023
dc.identifierONIX_20230511_9783036573762_122
dc.identifier.urihttps://directory.doabooks.org/handle/20.500.12854/100105
dc.description.abstractThe present reprint contains five articles accepted and published in the Special Issue “Logic and Computation 2023” of the MDPI “Mathematics” journal, covering several topics on computing science based on some form of logic. These topics include the model theory for formal logic-based formal specification and programming, logic mining and logic for games. It is hoped that the reprint will be interesting and useful for those working in the area of applying logic to computing.
dc.languageEnglish
dc.subject.classificationthema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: generalen_US
dc.subject.classificationthema EDItEUR::P Mathematics and Scienceen_US
dc.subject.otherstrategic abilities
dc.subject.otherω-regular properties
dc.subject.otherlinear dynamic logic
dc.subject.otherstrategic logics
dc.subject.othermodel checking
dc.subject.otherconcurrent game structure
dc.subject.othersupervised learning
dc.subject.otherHopfield neural network
dc.subject.otherlogic mining
dc.subject.otherartificial neural network
dc.subject.otherfirst-order logic
dc.subject.otherabstract model theory
dc.subject.otherinstitution
dc.subject.othersketch
dc.subject.otheralgebraic specification
dc.subject.otherdescription logic
dc.subject.othergraph conditions
dc.subject.othergraph constraints
dc.subject.otherdiagram predicate framework
dc.subject.otherinstitution theory
dc.subject.othercategory theory
dc.subject.otherstratified institutions
dc.subject.other3/2-institutions
dc.subject.othercategorical model theory
dc.subject.othermodel theory
dc.subject.othermany-valued truth institutions
dc.subject.otherℒ-institutions
dc.titleLogic and Computation
dc.typebook
oapen.identifier.doi10.3390/books978-3-0365-7377-9
oapen.relation.isPublishedBy46cabcaa-dd94-4bfe-87b4-55023c1b36d0
oapen.relation.isbn9783036573762
oapen.relation.isbn9783036573779
oapen.pages194
oapen.place.publicationBasel


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

https://creativecommons.org/licenses/by/4.0/
Except where otherwise noted, this item's license is described as https://creativecommons.org/licenses/by/4.0/