. . "1987 \u0569\u0578\u0582\u0561\u056F\u0561\u0576\u056B\u0576 \u0570\u0580\u0561\u057F\u0561\u0580\u0561\u056F\u0578\u0582\u0561\u056E \u0563\u056B\u057F\u0561\u056F\u0561\u0576 \u0575\u0585\u0564\u0578\u0582\u0561\u056E"@hyw . . . "im Januar 1987 ver\u00F6ffentlichter wissenschaftlicher Artikel"@de . . . . "Linear logic (journal article)"@nl . "wetenschappelijk artikel (gepubliceerd in 1987)"@nl . . "art\u00EDculu cient\u00EDficu espubliz\u00E1u en 1987"@ast . . "1-101" . "0625.03037" . "50" . "Linear logic (journal article)"@ast . . "Linear logic (journal article)"@ast . . . "Linear logic"@en . "v\u011Bdeck\u00FD \u010Dl\u00E1nek publikovan\u00FD v roce 1987"@cs . . "221942985" . "Linear logic"@en . "Linear logic (journal article)"@ast . . . . "Linear logic"@en . "vedeck\u00FD \u010Dl\u00E1nok (publikovan\u00FD 1987)"@sk . . "1987 \u0569\u057E\u0561\u056F\u0561\u0576\u056B\u0576 \u0570\u0580\u0561\u057F\u0561\u0580\u0561\u056F\u057E\u0561\u056E \u0563\u056B\u057F\u0561\u056F\u0561\u0576 \u0570\u0578\u0564\u057E\u0561\u056E"@hy . "journals/tcs/Girard87" . "\u043D\u0430\u0443\u043A\u043E\u0432\u0430 \u0441\u0442\u0430\u0442\u0442\u044F, \u043E\u043F\u0443\u0431\u043B\u0456\u043A\u043E\u0432\u0430\u043D\u0430 \u0432 1987"@uk . "10.1016/0304-3975(87)90045-4" . "\u0645\u0642\u0627\u0644\u0629 \u0639\u0644\u0645\u064A\u0629 (\u0646\u0634\u0631\u062A \u0639\u0627\u0645 1987)"@ar . . "Journal article that introduces linear logic"@en . "Linear logic (journal article)"@nl . "Linear logic (journal article)"@nl . . "Linear logic"@en . "1987-01-01T00:00:00Z"^^ .