Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,605,502 papers from all fields of science
Search
Sign In
Create Free Account
Jan Bergstra
Known as:
J. A. Bergstra
, Jan A. Bergstra
Johannes Aldert "Jan" Bergstra (born 1951) is a Dutch computer scientist. His work has focussed on logic and the theoretical foundations of software…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
Abstract data type
Algebra of Communicating Processes
Formal Aspects of Computing
Formal methods
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2012
Review
2012
AMUQ VALLEY REGIONAL PROJECT
K. Yener
,
T. Wilkinson
,
Owiqm Qwadwiwt
2012
Corpus ID: 1161620
Our 1996 investigations in the Amuq Valley continued the path-breaking work the Oriental Institute began in the 1930s, when the…
Expand
2011
2011
The Law of Treaties Beyond the Vienna Convention
E. Cannizzaro
,
Mahnoush H. Arsanjani
2011
Corpus ID: 153219166
PART I - CONCLUSION OF TREATIES PART II - INTERPRETATION OF TREATIES PART III - OBSERVANCE AND APPLICATION OF TREATIES PART IV…
Expand
Review
2010
Review
2010
The EU's diplomatic debacle at the UN - what else and what next? CEPS Commentary, 1 October 2010
M. Emerson
,
J. Wouters
2010
Corpus ID: 151249563
Against the background of the EU’s disappointing performance as an external actor in recent international gatherings (UN General…
Expand
2008
2008
Lawful Interception in P2P-Based VoIP Systems
J. Seedorf
Principles, Systems and Applications of IP…
2008
Corpus ID: 26133724
Lawful Interception of Voice-over-IP communications is technically more challenging than Lawful Interception in the PSTN…
Expand
Review
2006
Review
2006
Rudiments of recent fertility decline in Hungary: Postponement, educational differences, and outcomes of changing partnership forms
Z. Spéder
2006
Corpus ID: 15067057
Our study describes fundamental changes in childbearing behavior in Hungary. It documents current postponement of entry into…
Expand
2004
2004
Clos lives on in optical packet switching
J. Cheyns
,
Chris Develder
,
+5 authors
P. Demeester
IEEE Communications Magazine
2004
Corpus ID: 4803342
While the technological evolution since C. Clos's seminal article (see Bell Sys. Tech. J., vol.32, p.406-24, 1953) on multistage…
Expand
2000
2000
Jan Weiland著, Plasma Physics Series Collective Modes in Inhomogeneous Plasma-Kinetics and Advanced Fluid Theory (Institute of Physics (IOP) Publishing, Bristol and Philadelphia, B5版, 189頁, 1999年11…
佐貫 平二
2000
Corpus ID: 118444509
1993
1993
Notes on clitics in Dutch
J. Zwart
1993
Corpus ID: 164622665
22, 1992. Thanks are due to the organizers and participants of this workshop. The presentation of this paper in Lund made it…
Expand
1983
1983
"IMPLICIT SUBSIDIES" AND SOME ISSUES OF ECONOMIC RELATIONS WITHIN THE CMEA (Remarks on the analyses made by Michael Marrese and Jan Vañous*)
A. Köves
1983
Corpus ID: 156917784
It is a fact of basic importance for the East-European CMEA countries that not only their world economic surrounding taken in the…
Expand
Review
1952
Review
1952
Review: Jan Lukasiewicz, Aristotle's Syllogistic from the Standpoint of Modern Formal Logic
Philotheus Boehner
Journal of Symbolic Logic (JSL)
1952
Corpus ID: 117417018
propositional logic—both as a Boolean algebra and with the axiom system of Principia mathematica (without the associativity axiom…
Expand