Temat: "Computer Science - Symbolic Computation" - OpacWWW - Prolib Integro

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę ""Computer Science - Symbolic Computation"" wg kryterium: Temat

Wyświetlanie 1-7 z 7

Zaznacz stronę

Skocz do pozycji: 1.

Tytuł:: Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness
Autorzy:: Tamajit Banerjee
Rupak Majumdar
Kaushik Mallik
Anne-Kathrin Schmuck
Sadegh Soudjani; Pokaż więcej
Temat:: computer science - formal languages and automata theory
computer science - symbolic computation
electrical engineering and systems science - systems and control
Electronic computers. Computer science
QA75.5-76.95
Źródło:: TheoretiCS, Vol Volume 2 (2023)
Opis pliku:: electronic resource
Relacje:: https://theoretics.episciences.org/9088/pdf; https://doaj.org/toc/2751-4838
Dostęp URL:: https://doaj.org/article/6b3519a0b3084f459a688dac55cd1a44 Link otwiera się w nowym oknie

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Linear equations for unordered data vectors in $[D]^k\to{}Z^d$
Autorzy:: Piotr Hofman
Jakub Różycki; Pokaż więcej
Temat:: computer science - computational complexity
computer science - formal languages and automata theory
computer science - symbolic computation
68q85
f.4.2
g.2.2
f.3.1
Logic
BC1-199
Electronic computers. Computer science
QA75.5-76.95
Źródło:: Logical Methods in Computer Science, Vol Volume 18, Issue 4 (2022)
Opis pliku:: electronic resource
Relacje:: https://lmcs.episciences.org/8459/pdf; https://doaj.org/toc/1860-5974
Dostęp URL:: https://doaj.org/article/2477aa3f9e9e416f86c5a2872c920330 Link otwiera się w nowym oknie

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers
Autorzy:: Makoto Hamana; Pokaż więcej
Temat:: computer science - symbolic computation
computer science - logic in computer science
Logic
BC1-199
Electronic computers. Computer science
QA75.5-76.95
Źródło:: Logical Methods in Computer Science, Vol Volume 18, Issue 2 (2022)
Opis pliku:: electronic resource
Relacje:: https://lmcs.episciences.org/6600/pdf; https://doaj.org/toc/1860-5974
Dostęp URL:: https://doaj.org/article/6da3c56218c340b6a893dea026beee1d Link otwiera się w nowym oknie

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Deciding Kleene Algebras in Coq
Autorzy:: Thomas Braibant
Damien Pous; Pokaż więcej
Temat:: computer science - logic in computer science
computer science - symbolic computation
f 1.1, f 3.1, f.4.1, f.4.3, d 2.4
Logic
BC1-199
Electronic computers. Computer science
QA75.5-76.95
Źródło:: Logical Methods in Computer Science, Vol Volume 8, Issue 1 (2012)
Opis pliku:: electronic resource
Relacje:: https://lmcs.episciences.org/1043/pdf; https://doaj.org/toc/1860-5974
Dostęp URL:: https://doaj.org/article/d718fbddaf87454b9fc54dbaffa7d05f Link otwiera się w nowym oknie

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Automated Synthesis of Tableau Calculi
Autorzy:: Renate A. Schmidt
Dmitry Tishkovsky; Pokaż więcej
Temat:: computer science - logic in computer science
computer science - symbolic computation
cs.sc
Logic
BC1-199
Electronic computers. Computer science
QA75.5-76.95
Źródło:: Logical Methods in Computer Science, Vol Volume 7, Issue 2 (2011)
Opis pliku:: electronic resource
Relacje:: https://lmcs.episciences.org/970/pdf; https://doaj.org/toc/1860-5974
Dostęp URL:: https://doaj.org/article/951f4f22bbec41e2a13e8edf104ad135 Link otwiera się w nowym oknie

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Consistency and Completeness of Rewriting in the Calculus of Constructions
Autorzy:: Daria Walukiewicz-Chrzaszcz
Jacek Chrzaszcz; Pokaż więcej
Temat:: computer science - logic in computer science
computer science - symbolic computation
f.4.1
f.4.2
Logic
BC1-199
Electronic computers. Computer science
QA75.5-76.95
Źródło:: Logical Methods in Computer Science, Vol Volume 4, Issue 3 (2008)
Opis pliku:: electronic resource
Relacje:: https://lmcs.episciences.org/1141/pdf; https://doaj.org/toc/1860-5974
Dostęp URL:: https://doaj.org/article/7e93c02843f343c7bc3042ecf0587479 Link otwiera się w nowym oknie

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Predicate Abstraction via Symbolic Decision Procedures
Autorzy:: Shuvendu K. Lahiri
Thomas Ball
Byron Cook; Pokaż więcej
Temat:: computer science - logic in computer science
computer science - programming languages
computer science - symbolic computation
f.3.1
f.4.1
Logic
BC1-199
Electronic computers. Computer science
QA75.5-76.95
Źródło:: Logical Methods in Computer Science, Vol Volume 3, Issue 2 (2007)
Opis pliku:: electronic resource
Relacje:: https://lmcs.episciences.org/2218/pdf; https://doaj.org/toc/1860-5974
Dostęp URL:: https://doaj.org/article/dae9c5906dcb42ef8bc8598388867d90 Link otwiera się w nowym oknie

Czasopismo naukowe

na półce

Szczegóły

Wyświetlanie 1-7 z 7

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies