Søg koncepter
|
Valgte filtre
|
- 250 - 300 ud af 153.608 resulter
- Eksportér søgeresultater
Søgeresultater
-
2. Bebyggelsesregulerende bestemmelser
Stang, B. F. D. & Ginnerup, S., 2007, SBi-anvisning om Bygningsreglement 2008. Axelsen, B. (red.). netudgave udg. Hørsholm: SBI forlag, (SBi-anvisning; Nr. 216).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Formidling
-
2+2=... Efterlønsudspil bygger på forkerte tal
Jørgensen, H. & Baadsgaard, K., 14 mar. 2011, I : Politiken.Publikation: Bidrag til tidsskrift › Bidrag til avis - Avisartikel
-
2001 – 2010 Danish Design Reference Year: Reference Climate Dataset for Technical Dimensioning in Building, Construction and other Sectors
Grunnet Wang, P., Scharling, M., Pagh Nielsen, K., Kern-Hansen, C. & Wittchen, K. B., sep. 2013, Danmarks Meteorologiske Institut. 34 s. (DMI Technical Report; Nr. 13-19).Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
Åben adgangFil976 Downloads (Pure) -
2001 – 2010 Dansk Design Reference Year Supplerende datasæt: Projektrapport til Energistyrelsen: Data til teknisk dimensionering for parametrene atmosfæretryk, vindretning, skydække, vandtemperatur og jordtemperatur samt data til byggesagsbehandling
Grunnet Wang, P., Scharling, M., Wittchen, K. B. & Kern-Hansen, C., sep. 2013, København: Danmarks Meteorologiske Institut. 34 s. (DMi Teknisk Rapport; Nr. 13-18).Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
Åben adgangFil669 Downloads (Pure) -
2002-2008 Web of Science - Environmental Sciences
Rosenkilde, M-B., 2010, Aarhus Universitet. 24 s.Publikation: Bog/antologi/afhandling/rapport › Rapport › Rådgivning
-
2003 Introduction to the theory of wave propagation in elastic cylindrical shells filled with an acoustic medium Preprint of the Centre for Machine Acoustics
Sorokin, S., 2003, Aalborg: Aalborg Universitetsforlag.Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning
-
2004: Towards a generalized friction controller: from the bowed string to Unusual Musical Instruments
Serafin, S. & Young, D., 2017, A NIME reader: Fifteen Years of New Interfaces for Musical Expression. Refsum Jensenius, A. & Lyons, M. J. (red.). Springer Publishing Company, Bind 3. s. 181-191 (Current Research in Systematic Musicology, Bind 3).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review
-
2004 Meget mere end økologi – en undersøgelse af bevæggrunde og effekter i forbindelse med økologiske omlægningsprojekter i daginstitutioner i kommunerne
Mikkelsen, B. E., Pedersen, T. & Therkildsen, K., 2004Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
Fil137 Downloads (Pure) -
2005: The Overtone Violin
Overholt, D., 7 mar. 2017, A NIME Reader: Fifteen Years of New Interfaces for Musical Expression. Jensenius, A. R. & Lyons, M. J. (red.). Cham, Switzerland: Springer, s. 223-234 11 s. (Current Research in Systematic Musicology, Bind 3).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review
-
2005: Den Digitale Video Recorders år? Discount Interaktivt TV II: Personaliseret TV
Jensen, J. F., 2005, I : InDiMedia : nyhedsbrev om interaktive digitale medier. 4Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning
-
20051655 - Petronas, Capacity of Driven Piles Offshore Malaysia: Note a
Augustesen, A., 2007, Aalborg: Department of Civil Engineering, Aalborg University. 31 s. (DCE Contract Reports; Nr. 27).Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
-
20051655 - Petronas, Capacity of Driven Piles Offshore Malaysia: Note d
Augustesen, A., 2008, Aalborg: Department of Civil Engineering, Aalborg University. 35 s. (DCE Contract Reports; Nr. 40).Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
-
20051655 - Petronas, Capacity of Driven Piles Offshore Malaysia: Note c
Augustesen, A. & Andersen, L., 2008, Aalborg: Department of Civil Engineering, Aalborg University. 15 s. (DCE Contract Reports; Nr. 39).Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
-
20051655 - Petronas, Capacity of Driven Piles Offshore Malaysia: Note b
Augustesen, A., 2007, Aalborg: Department of Civil Engineering, Aalborg University. 16 s. (DCE Contract Reports; Nr. 29).Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
-
2011. Vi fortsætter lidt endnu: Center for vild analyse
Porsgaard, K., Thykjær, S., Ugilt, R., Bjerre, H. J. & Hansen, B. B., 7 jan. 2012Publikation: Bidrag der ikke har en tekstform › Lyd og/eller billed produktion (digital) › Formidling
-
2011 Consensus statement on endomyocardial biopsy from the Association for European Cardiovascular Pathology and the Society for Cardiovascular Pathology
Leone, O., Veinot, J. P., Angelini, A., Baandrup, U., Basso, C., Berry, G., Bruneval, P., Burke, M., Butany, J., Calabrese, F., d'Amati, G., Edwards, W. D., Fallon, J. T., Fishbein, M. C., Gallagher, P. J., Halushka, M. K., McManus, B., Pucci, A., Rodriguez, E. R., Saffitz, J. E. & 7 flere, , 2012, I : Cardiovascular Pathology. 21, 4, s. 245–274Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
249 Citationer (Scopus) -
2011-valget: Nedskæringspolitik som borgerlig vindersag?
Klindt, M. P., 2016, Fra krisevalg til jordskredsvalg: Vælgere på vandring 2011-2015. Goul Andersen, J. & Shamshiri-Petersen, D. (red.). København: Frydenlund Academic, s. 229-241 (Vælgere, holdningsdannelse og politik; Nr. 1).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review
-
2011-valget: En serie af folkeafstemninger? Stridsspørgsmål og vælgere på vandring
Andersen, J. G., 7 sep. 2016, Fra krisevalg til jordskredsvalg: Vælgere på vandring 2011-2015. Andersen, J. G. & Shamshiri-Petersen, D. (red.). 1 udg. København: Frydenlund Academic, Bind 1. s. 242-260 19 s. (Vælgere, holdningsdannelse og politik; Nr. 1, Bind 1).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review
-
2012. Den sociale arv trives i bedste velgående
Munk, M. D., 23 sep. 2012, I : Politiken. s. 12 1 s.Publikation: Bidrag til tidsskrift › Bidrag til avis - Avisartikel
314 Downloads (Pure) -
2012 ESC STEMI guidelines and reperfusion therapy: Evidence base ignored, threatening optimal patient management
Terkelsen, C. J., Pinto, D. S., Thiele, H., Clemmensen, P., Nikus, K., Lassen, J. F., Hildick-Smith, D., Christiansen, E. H., Aarøe, J., Tilsted, H-H., Stankovic, G., Junker, A., Sianos, G., Olivecrona, G., Bøtker, H. E., Gibson, C. M. & Boersma, E., aug. 2013, I : Heart. 99, 16, s. 1154-6 3 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil10 Citationer (Scopus)970 Downloads (Pure) -
2012 Årsrapport for Dansk Bakteriel Meningitis Gruppe
Meyer, C. N., Christensen, J. J., Voldstedlund, M., Bangsborg, J., Schønheyder, H. C., Høiby, N., Andersen, C. Ø., Møller, J. K., Nielsen, X. C., Mølbak, K., Benfield, T. & Kjærgaard, J., 30 sep. 2014, Dansk Bakteriel Meningitis Gruppe : DBMG. 14 s.Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
-
2014 ESC/ESA Guidelines on non-cardiac surgery: cardiovascular assessment and management
Kristensen, S. D., Knuuti, J., Saraste, A., Anker, S., Botker, H. E., De Hert, S., Ford, I., Juanatey, J. R. G., Gorenek, B., Heyndrickx, G. R., Hoeft, A., Huber, K., Iung, B., Kjeldsen, K., Longrois, D., Luescher, T. F., Pierard, L., Pocock, S., Price, S., Roffi, M. & 4 flere, , 2014, I : European Journal of Anaesthesiology. 31, 10, s. 517-573Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang203 Citationer (Scopus) -
2014 ESC/ESA Guidelines on non-cardiac surgery: cardiovascular assessment and management of the European Society of Cardiology (ESC) and the European Society of Anaesthesiology (ESA)
Kristensen, S. D., Knuuti, J., Saraste, A., Anker, S., Bøtker, H. E., De Hert, S., Ford, I., Gonzalez-Juanatey, J. R., Gorenek, B., Heyndrickx, G. R., Hoeft, A., Huber, K., Iung, B., Kjeldsen, K., Longrois, D., Lüscher, T. F., Pierard, L., Pocock, S., Price, S., Roffi, M. & 4 flere, , 2014, I : European Heart Journal. 35, s. 2383-2431Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
701 Citationer (Scopus) -
2014 ESC Guidelines on the diagnosis and management of acute pulmonary embolism: The Task Force for the Diagnosis and Management of Acute Pulmonary Embolism of the European Society of Cardiology (ESC) Endorsed by the European Respiratory Society (ERS)
Konstantinides, S. V., Torbicki, A., Agnelli, G., Danchin, N., Fitzmaurice, D., Galiè, N., Gibbs, J. S. R., Huisman, M. V., Humbert, M., Kucher, N., Lang, I., Lankeit, M., Lekakis, J., Maack, C., Mayer, E., Meneveau, N., Perrier, A., Pruszczyk, P., Rasmussen, L. H., Schindler, T. H. & 5 flere, , 29 aug. 2014, I : European Heart Journal. 35, 43, s. 3033-3073 41 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
1809 Citationer (Scopus) -
2015 ESC Guidelines for the management of acute coronary syndromes in patients presenting without persistent ST-segment elevation: Task Force for the Management of Acute Coronary Syndromes in Patients Presenting without Persistent ST-Segment Elevation of the European Society of Cardiology (ESC)
Roffi, M., Patrono, C., Collet, J-P., Mueller, C., Valgimigli, M., Andreotti, F., Bax, J. J., Borger, M. A., Brotons, C., Chew, D. P., Gencer, B., Hasenfuss, G., Kjeldsen, K., Lancellotti, P., Landmesser, U., Mehilli, J., Mukherjee, D., Storey, R. F., Windecker, S., Baumgartner, H. & 27 flere, , 14 jan. 2016, I : European Heart Journal. 37, 3, s. 267-315 59 s.Publikation: Bidrag til tidsskrift › Review (oversigtsartikel) › peer review
Åben adgangFil3 Citationer (Scopus)306 Downloads (Pure) -
2015 ESC Guidelines for the management of infective endocarditis: The Task Force for the Management of Infective Endocarditis of the European Society of Cardiology (ESC)Endorsed by: European Association for Cardio-Thoracic Surgery (EACTS), the European Association of Nuclear Medicine (EANM)
Habib, G., Lancellotti, P., Antunes, M. J., Bongiorni, M. G., Casalta, J-P., Del Zotti, F., Dulgheru, R., El Khoury, G., Erba, P. A., Iung, B., Miro, J. M., Mulder, B. J., Plonska-Gosciniak, E., Price, S., Roos-Hesselink, J., Snygg-Martin, U., Thuny, F., Tornos Mas, P., Vilacosta, I., Zamorano, J. L. & 30 flere, , 21 nov. 2015, I : European Heart Journal. 36, 44, s. 3075-128 54 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
1684 Citationer (Scopus) -
2015 ESC Guidelines for the management of patients with ventricular arrhythmias and the prevention of sudden cardiac death: The Task Force for the Management of Patients with Ventricular Arrhythmias and the Prevention of Sudden Cardiac Death of the European Society of Cardiology (ESC). Endorsed by: Association for European Paediatric and Congenital Cardiology (AEPC)
Priori, S. G., Blomström-Lundqvist, C., Mazzanti, A., Blom, N., Borggrefe, M., Camm, A. J., Elliott, P. M., Fitzsimons, D., Hatala, R., Hindricks, G., Kirchhof, P., Kjeldsen, K., Kuck, K-H., Hernandez-Madrid, A., Nikolaou, N., Norekvål, T. M., Spaulding, C. & van Veldhuisen, D. J., 2015, I : European Heart Journal. 36, 41, s. 2793-2867Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
1569 Citationer (Scopus) -
2016 American Thyroid Association Guidelines for Diagnosis and Management of Hyperthyroidism and other causes of Thyrotoxicosis
Ross, D. S., Burch, H. B., Cooper, D. S., Greenlee, M. C., Laurberg, P., Maia, A. L., Rivkees, S., Samuels, M., Sosa, J. A., Stan, M. N. & Walter, M., 2016, I : Thyroid. 26, 10, s. 1343-1421 79 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
604 Citationer (Scopus) -
2016 ESC Guidelines for the management of atrial fibrillation developed in collaboration with EACTS: The Task Force for the management of atrial fibrillation of the European Society of Cardiology (ESC)Developed with the special contribution of the European Heart Rhythm Association (EHRA) of the ESCEndorsed by the European Stroke Organisation (ESO)
Kirchhof, P., Benussi, S., Kotecha, D., Ahlsson, A., Atar, D., Casadei, B., Castella, M., Diener, H-C., Heidbuchel, H., Hendriks, J., Hindricks, G., Manolis, A. S., Oldgren, J., Popescu, B. A., Schotten, U., Van Putte, B., Vardas, P., Agewall, S., Camm, J., Baron Esquivias, G. & 31 flere, , 2016, I : European Journal of Cardio-Thoracic Surgery. 50, 5, s. e1-e88 88 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
361 Citationer (Scopus) -
2016 European Guidelines on cardiovascular disease prevention in clinical practice: The Sixth Joint Task Force of the European Society of Cardiology and Other Societies on Cardiovascular Disease Prevention in Clinical Practice (constituted by representatives of 10 societies and by invited experts): Developed with the special contribution of the European Association for Cardiovascular Prevention & Rehabilitation (EACPR)
Piepoli, M. F., Hoes, A. W., Agewall, S., Albus, C., Brotons, C., Catapano, A. L., Cooney, M-T., Corrà, U., Cosyns, B., Deaton, C., Graham, I., Hall, M. S., Hobbs, F. D. R., Løchen, M-L., Löllgen, H., Marques-Vidal, P., Perk, J., Prescott, E., Redon, J., Richter, D. J. & 31 flere, , 2016, I : European Journal of Preventive Cardiology. 23, 11, s. NP1-N96 96 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang492 Citationer (Scopus) -
2016 Patellofemoral pain consensus statement from the 4th International Patellofemoral Pain Research Retreat, Manchester. Part 2: recommended physical interventions (exercise, taping, bracing, foot orthoses and combined interventions)
Crossley, K. M., van Middelkoop, M., Callaghan, M. J., Collins, N. J., Rathleff, M. S. & Barton, C. J., 2016, I : British Journal of Sports Medicine. 50, 14, s. 844-852 9 s.Publikation: Bidrag til tidsskrift › Review (oversigtsartikel) › peer review
Åben adgang92 Citationer (Scopus) -
2017 Guidelines of the American Thyroid Association for the Diagnosis and Management of Thyroid Disease during Pregnancy and the Postpartum
Alexander, E. K., Pearce, E. N., Brent, G. A., Brown, R. S., Chen, H., Dosiou, C., Grobman, W., Laurberg, P., Lazarus, J. H., Mandel, S. J., Peeters, R. & Sullivan, S., 2017, I : Thyroid. 27, 3, s. 315-389 75 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang672 Citationer (Scopus) -
2018 Consensus statement on exercise therapy and physical interventions (orthoses, taping and manual therapy) to treat patellofemoral pain: recommendations from the 5th International Patellofemoral Pain Research Retreat, Gold Coast, Australia, 2017
Collins, N. J., Barton, C. J., van Middelkoop, M., Callaghan, M. J., Rathleff, M. S., Vicenzino, B. T., Davis, I. S., Powers, C. M., Macri, E. M., Hart, H. F., de Oliveira Silva, D. & Crossley, K. M., 1 sep. 2018, I : British Journal of Sports Medicine. 52, 18, s. 1170–1178 9 s.Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
66 Citationer (Scopus) -
2018 Joint European consensus document on the management of antithrombotic therapy in atrial fibrillation patients presenting with acute coronary syndrome and/or undergoing percutaneous cardiovascular interventions: a joint consensus document of the European Heart Rhythm Association (EHRA), European Society of Cardiology Working Group on Thrombosis, European Association of Percutaneous Cardiovascular Interventions (EAPCI), and European Association of Acute Cardiac Care (ACCA) endorsed by the Heart Rhythm Society (HRS), Asia-Pacific Heart Rhythm Society (APHRS), Latin America Heart Rhythm Society (LAHRS), and Cardiac Arrhythmia Society of Southern Africa (CASSA)
Lip, G. Y. H., Collet, J-P., Haude, M., Byrne, R., Chung, E. H., Fauchier, L., Halvorsen, S., Lau, D., Lopez-Cabanillas, N., Lettino, M., Marin, F., Obel, I., Rubboli, A., Storey, R. F., Valgimigli, M., Huber, K. & ESC Scientific Document Group, 1 feb. 2019, I : Europace. 21, 2, s. 192-193 2 s.Publikation: Bidrag til tidsskrift › Review (oversigtsartikel) › peer review
96 Citationer (Scopus) -
2018 må blive ubehagets år
Brinkmann, S., 31 dec. 2017, I : Politiken.Publikation: Bidrag til tidsskrift › Bidrag til avis - Kommentar/debat
-
2019 EACTS/EACTA/EBCP guidelines on cardiopulmonary bypass in adult cardiac surgery
Kunst, G., Milojevic, M., Boer, C., De Somer, F. M. J. J., Gudbjartsson, T., van den Goor, J., Jones, T. J., Lomivorotov, V., Merkle, F., Ranucci, M., Puis, L., Wahba, A., EACTS/EACTA/EBCP Committee Reviewers, Alston, P., Fitzgerald, D., Nikolic, A., Onorati, F., Rasmussen, B. S. & Svenmarker, S., dec. 2019, I : British Journal of Anaesthesia. 123, 6, s. 713-757 45 s.Publikation: Bidrag til tidsskrift › Review (oversigtsartikel) › peer review
16 Citationer (Scopus) -
2019 EACTS/EACTA/EBCP guidelines on cardiopulmonary bypass in adult cardiac surgery
Wahba, A., Milojevic, M., Boer, C., De Somer, F. M. J. J., Gudbjartsson, T., van den Goor, J., Jones, T. J., Lomivorotov, V., Merkle, F., Ranucci, M., Kunst, G., Puis, L., EACTS/EACTA/EBCP Committee Reviewers & Steen Rasmussen, B., feb. 2020, I : European Journal of Cardio-Thoracic Surgery. 57, 2, s. 210-251 42 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Formidling
16 Citationer (Scopus) -
2019 Policy Brief - Fulbright Arctic Initiative Symposium
Bors, E. K., Gladun, E., Gritsenko, D., Johansdottir, L., Larsen, S. V., Nysten-Haarala, S., Sformo, T. & Tulaeva, S., 2019Publikation: Andet › Andet bidrag › Formidling
Åben adgangFil23 Downloads (Pure) -
2019’da nordik suç anlatilari
Gregersdotter, K. & Hansen, K. T., nov. 2019, I : 221B. 23, s. 28-36 9 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Formidling
-
2020: Hvis iPad er svaret, hvad er så spørgsmålet?
Klesner, J. & Davidsen, J., 2 maj 2012Publikation: Andet › Udgivelser på nettet - Net-publikation › Formidling
-
203: Lokalplaner og byggeret
Christensen, F. K. & Aunsborg, C., 2011, I : Tidsskrift for Miljø. 12, s. 418-427Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
2050 pathway to an active renewable energy scenario for Jiangsu province
Hong, L., Lund, H., Mathiesen, B. V. & Möller, B., 2013, I : Energy Policy. 53, s. 267-278 12 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Fil25 Citationer (Scopus)1098 Downloads (Pure) -
20 begivenheder der skabte Danmark
Duedahl, P., 2007, I : Historie. 1, s. 115-118 4 s.Publikation: Bidrag til tidsskrift › Anmeldelse › Forskning
-
20 teser om erhvervsklynger
Gelsing, L. E. & Gjerding, A. N., 2004, Aalborg: FIRM-gruppen, Institut for Erhvervsstudier, Aalborg Universitet, 10 s.Publikation: Working paper › Forskning
-
20 years of biomedical engineering at Aalborg University: education and research
Arendt-Nielsen, L., Sinkjær, T. & Rosenfalck, A., 1998, Aspects of Biomedical Engineering in Denmark : The Danish Society for Biomedical Engineering, 1973-1998. Dansk MedikoTeknisk Selskab, s. 43-50Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Formidling
-
20 Years of Innovation in University Education: the Aalborg Experiment
Enemark, S., 1997, Proceedings of International Conference on New Teaching Methods, University of Amsterdam, 1997.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning
-
20 Years of Innovation in University Education: the Aalborg Experiment
Enemark, S., 1997, Proceedings of International Seminar on Pedagogical Challenges to Higher Education, Atlantic University, Lisbon, 1997.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning
-
20 years of LCA applied to waste management systems: what can we learn?
Clavreul, J., Bernstad, A., Bakas, I., Niero, M., Gentil, E., Christensen, T. H. & Hauschild, M. Z., 2014.Publikation: Konferencebidrag uden forlag/tidsskrift › Konferenceabstrakt til konference › Forskning › peer review
-
20 Years of Modal and Mixed Specifications
Antonik, A., Huth, M., Larsen, K. G., Nyman, U. & Wasowski, A., 2008, I : Bulletin of the European Association for Theoretical Computer Science. 95Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil508 Downloads (Pure) -
20 Years of Real Real Time Model Validation
Larsen, K. G., Lorber, F. & Nielsen, B., 2018, Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. Springer, Bind 10951. s. 22--36 (Lecture Notes in Computer Science, Bind 10951).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
1 Citationer (Scopus)