재정 지원 요구사항을 통해 공개된 자료 - Bárány Vince자세히 알아보기
제공된 곳이 있음: 5
Guarded negation
V Bárány, BT Cate, L Segoufin
Journal of the ACM (JACM) 62 (3), 1-26, 2015
재정 지원 요구사항 정책: European Commission
Querying the guarded fragment
V Barany, G Gottlob, M Otto
Logical Methods in Computer Science 10 (2), 2014
재정 지원 요구사항 정책: German Research Foundation, European Commission
Rewriting guarded negation queries
V Bárány, M Benedikt, B Ten Cate
International Symposium on Mathematical Foundations of Computer Science, 98-110, 2013
재정 지원 요구사항 정책: UK Engineering and Physical Sciences Research Council
Declarative probabilistic programming with datalog
V Bárány, B Cate, B Kimelfeld, D Olteanu, Z Vagena
ACM Transactions on Database Systems (TODS) 42 (4), 1-35, 2017
재정 지원 요구사항 정책: US Department of Defense, UK Engineering and Physical Sciences Research Council
Some model theory of guarded negation
V Bárány, M Benedikt, B Ten Cate
The Journal of Symbolic Logic 83 (4), 1307-1344, 2018
재정 지원 요구사항 정책: US National Science Foundation, UK Engineering and Physical Sciences …
발행인 및 자금 지원 정보는 컴퓨터 프로그램에서 자동으로 결정됩니다.