Linear logic in computer science
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
The Publishing Office of Czestochowa University of Technology
2015-03-01
|
| Series: | Journal of Applied Mathematics and Computational Mechanics |
| Online Access: |
http://amcm.pcz.pl/get.php?article=2015_1/art_09.pdf
|
| _version_ | 1818059694503100416 |
|---|---|
| author | William Steingartner Andrea Poláková Peter Prazňák Valerie Novitzká |
| author_facet | William Steingartner Andrea Poláková Peter Prazňák Valerie Novitzká |
| author_sort | William Steingartner |
| collection | DOAJ |
| first_indexed | 2024-12-10T13:20:36Z |
| format | Article |
| id | doaj.art-495f6f4ae5fb41489be0ae50ec12e62b |
| institution | Directory Open Access Journal |
| issn | 2299-9965 2353-0588 |
| language | English |
| last_indexed | 2024-12-10T13:20:36Z |
| publishDate | 2015-03-01 |
| publisher | The Publishing Office of Czestochowa University of Technology |
| record_format | Article |
| series | Journal of Applied Mathematics and Computational Mechanics |
| spelling | doaj.art-495f6f4ae5fb41489be0ae50ec12e62b2022-12-22T01:47:21ZengThe Publishing Office of Czestochowa University of TechnologyJournal of Applied Mathematics and Computational Mechanics2299-99652353-05882015-03-011419110010.17512/jamcm.2015.1.098Linear logic in computer scienceWilliam SteingartnerAndrea PolákováPeter PrazňákValerie Novitzká http://amcm.pcz.pl/get.php?article=2015_1/art_09.pdf |
| spellingShingle | William Steingartner Andrea Poláková Peter Prazňák Valerie Novitzká Linear logic in computer science Journal of Applied Mathematics and Computational Mechanics |
| title | Linear logic in computer science |
| title_full | Linear logic in computer science |
| title_fullStr | Linear logic in computer science |
| title_full_unstemmed | Linear logic in computer science |
| title_short | Linear logic in computer science |
| title_sort | linear logic in computer science |
| url |
http://amcm.pcz.pl/get.php?article=2015_1/art_09.pdf
|
| work_keys_str_mv | AT williamsteingartner linearlogicincomputerscience AT andreapolakova linearlogicincomputerscience AT peterpraznak linearlogicincomputerscience AT valerienovitzka linearlogicincomputerscience |