Logic and Computation
The 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-...
Saved in:
Other Authors: | |
---|---|
Format: | Electronic Book Chapter |
Language: | English |
Published: |
Basel
MDPI - Multidisciplinary Digital Publishing Institute
2023
|
Subjects: | |
Online Access: | DOAB: download the publication DOAB: description of the publication |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
LEADER | 00000naaaa2200000uu 4500 | ||
---|---|---|---|
001 | doab_20_500_12854_100105 | ||
005 | 20230511 | ||
003 | oapen | ||
006 | m o d | ||
007 | cr|mn|---annan | ||
008 | 20230511s2023 xx |||||o ||| 0|eng d | ||
020 | |a books978-3-0365-7377-9 | ||
020 | |a 9783036573762 | ||
020 | |a 9783036573779 | ||
040 | |a oapen |c oapen | ||
024 | 7 | |a 10.3390/books978-3-0365-7377-9 |c doi | |
041 | 0 | |a eng | |
042 | |a dc | ||
072 | 7 | |a GP |2 bicssc | |
072 | 7 | |a P |2 bicssc | |
100 | 1 | |a Diaconescu, Răzvan |4 edt | |
700 | 1 | |a Diaconescu, Răzvan |4 oth | |
245 | 1 | 0 | |a Logic and Computation |
260 | |a Basel |b MDPI - Multidisciplinary Digital Publishing Institute |c 2023 | ||
300 | |a 1 electronic resource (194 p.) | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b cr |2 rdacarrier | ||
506 | 0 | |a Open Access |2 star |f Unrestricted online access | |
520 | |a The 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. | ||
540 | |a Creative Commons |f https://creativecommons.org/licenses/by/4.0/ |2 cc |4 https://creativecommons.org/licenses/by/4.0/ | ||
546 | |a English | ||
650 | 7 | |a Research & information: general |2 bicssc | |
650 | 7 | |a Mathematics & science |2 bicssc | |
653 | |a strategic abilities | ||
653 | |a ω-regular properties | ||
653 | |a linear dynamic logic | ||
653 | |a strategic logics | ||
653 | |a model checking | ||
653 | |a concurrent game structure | ||
653 | |a supervised learning | ||
653 | |a Hopfield neural network | ||
653 | |a logic mining | ||
653 | |a artificial neural network | ||
653 | |a first-order logic | ||
653 | |a abstract model theory | ||
653 | |a institution | ||
653 | |a sketch | ||
653 | |a algebraic specification | ||
653 | |a description logic | ||
653 | |a graph conditions | ||
653 | |a graph constraints | ||
653 | |a diagram predicate framework | ||
653 | |a institution theory | ||
653 | |a category theory | ||
653 | |a stratified institutions | ||
653 | |a 3/2-institutions | ||
653 | |a categorical model theory | ||
653 | |a model theory | ||
653 | |a many-valued truth institutions | ||
653 | |a ℒ-institutions | ||
856 | 4 | 0 | |a www.oapen.org |u https://mdpi.com/books/pdfview/book/7198 |7 0 |z DOAB: download the publication |
856 | 4 | 0 | |a www.oapen.org |u https://directory.doabooks.org/handle/20.500.12854/100105 |7 0 |z DOAB: description of the publication |