Lisitsa - PDFSEARCH.IO - Document Search Engine

Lisitsa
Results: 10

#	Item
1	Obituary The Editorial Board of the Ukrainian Journal of Physical Optics announces with deep regret the death of Professor Lisitsa Mykhailo Pavlovych that has befallen on January 10th 2012 at the age of 91. He has been a Add to Reading List Source URL: www.ifo.lviv.ua Language: English - Date: 2012-02-20 07:40:27
2	First-Order Logic for the Analysis of Programs on Weak Memory Models Alexei Lisitsa Department of Computer Science University of Liverpool, Liverpool, UK Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Model checking First-order logic Mathematical logic Logic in computer science Formal methods Theory of computation
3	Finite countermodels for safety verification of parameterized tree systems arXiv:1107.5142v1 [cs.LO] 26 JulAlexei Lisitsa Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-11-05 01:10:25
4	Finite Model Finding for Parameterized Verification arXiv:1011.0447v2 [cs.LO] 26 Nov 2010 Alexei Lisitsa Department of Computer Science Add to Reading List Source URL: arxiv.org Language: English - Date: 2010-11-30 04:30:24
5	A SAT Attack on the Erd˝os Discrepancy Conjecture arXiv:1402.2184v2 [cs.DM] 17 Feb 2014 Boris Konev and Alexei Lisitsa Department of Computer Science Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-02-17 20:14:46
6	Finite Models for Safety Verification Alexei Lisitsa Department of Computer Science University of Liverpool, Liverpool, UK Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2012-06-22 11:37:34 Fibonacci numbers Fibonacci word
7	World Socialist Web Site wsws.org Toronto Symphony bans pianist critical of Kiev regime Add to Reading List Source URL: intsse.com Language: English Valentina Lisitsa Ukrainian nationalism Foreign relations of Ukraine Organization of Ukrainian Nationalists Ukrainian Canadian Stepan Bandera Ukraine Ukrainian language Kiev Europe Ukrainian studies Slavic
8	First-order theorem proving in the exploration of Andrews-Curtis conjecture Alexei Lisitsa The University of Liverpool ABSTRACT Add to Reading List Source URL: tinytocs.org Language: English - Date: 2013-04-02 18:41:25 Andrews–Curtis conjecture Nielsen transformation Counterexample Automated theorem proving Conjectures Mathematics Combinatorial group theory
9	21st International Conference on Spectral Line Shapes Saint-Petersburg, Russia June 3–9, 2012 International Program Committee Add to Reading List Source URL: icsls21.spbu.ru Language: English - Date: 2012-02-14 09:16:45 Devdariani Lisitsa
10	A SAT Attack on the Erd˝os Discrepancy Conjecture Boris Konev and Alexei Lisitsa Department of Computer Science Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2014-02-03 04:43:00 Elementary mathematics Combinatorics Discrepancy theory Measure theory Discrepancy of hypergraphs Discrepancy Subsequence Sequence Hypergraph Mathematics Diophantine approximation Mathematical analysis

UPDATE